On the Integration of UML and Petri Nets in Software Development, 27th Int. Conf. on Applications and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2006), pp.19-36, 2006. ,
DOI : 10.1007/11767589_2
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets, Model Driven Systems Design (SDL 2005), pp.133-181, 2005. ,
DOI : 10.1007/11506843_9
Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net, Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE Workshops 2007), 2007. ,
DOI : 10.1109/SCESM.2007.1
Structuring and Composability Issues in Petri Nets Modeling, IEEE Transactions on Industrial Informatics, vol.1, issue.2, pp.112-123, 2005. ,
DOI : 10.1109/TII.2005.844433
Mapping UML diagrams to a Petri net notation for system simulation, Int. Conf. on Software Engineering and Knowledge Engineering, pp.213-222, 2004. ,
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.3-4213, 2007. ,
DOI : 10.1007/s10009-007-0038-x
Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets, Int. Conf. on Hardware Description Languages and Their Applications (CHDL '97), pp.4-23, 1997. ,
DOI : 10.1007/978-0-387-35064-6_2
Heterogeneous information systems integration: organizations and tools, 4th Int. Conf. on Product Focused Software Process Improvement LNCS 2559, pp.629-672, 2002. ,
DOI : 10.1007/3-540-36209-6_51
Integration of embedded software with corporate information systems, 1st IFIP Int. Embedded Systems Symposium (IESS 2005), pp.169-78, 2005. ,
A demonstration case on the transformation of software architectures for mobile applications, 5th IFIP TC10 Working Conf. on Distributed and Parallel Embedded Systems, pp.235-279, 2006. ,
Requirements Validation: Execution of UML Models with CPN Tools, International Journal on Software Tools for Technology Transfer, vol.5, issue.1, pp.3-4353, 2007. ,
DOI : 10.1007/s10009-007-0035-0
Modeling behavioral design patterns of concurrent objects, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.202-213, 2006. ,
DOI : 10.1145/1134285.1134315
Some Rules to Transform Sequence Diagrams into Coloured Petri Nets, 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp.237-256, 2006. ,
UML diagrams to object Petri net models: an approach for modeling and analysis, Int. Conf. on Software Engineering and Knowledge Engineering, pp.103-113, 2000. ,
Designing an asynchronous processor using Petri nets, IEEE Micro, vol.17, issue.2, pp.54-64, 1997. ,
DOI : 10.1109/40.592316
Synthesis of embedded software using free-choice Petri nets, 36th annual ACM/IEEE Design Automation Conf (DAC '99), pp.805-810, 1999. ,