J. Campos and J. Merseguer, 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

C. Eichner, H. Fleischhack, R. Meyer, U. Schrimpf, and C. Stehno, 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

J. M. Fernandes, S. Tjell, J. B. Jørgensen, and O. Ribeiro, 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

L. Gomes and J. P. Barros, 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

Z. Hu and S. M. Shatz, Mapping UML diagrams to a Petri net notation for system simulation, Int. Conf. on Software Engineering and Knowledge Engineering, pp.213-222, 2004.

K. Jensen, L. M. Kristensen, and L. Wells, 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

B. Kleinjohann, J. Tacken, and C. Tahedl, 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

R. J. Machado and J. M. Fernandes, 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

R. J. Machado and J. M. Fernandes, Integration of embedded software with corporate information systems, 1st IFIP Int. Embedded Systems Symposium (IESS 2005), pp.169-78, 2005.

R. J. Machado, J. M. Fernandes, H. Rodrigues, and P. Monteiro, 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.

R. J. Machado, K. B. Lassen, S. Oliveira, M. Couto, and P. Pinto, 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

R. G. Pettit and H. Gomaa, 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

O. Ribeiro and J. M. Fernandes, 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.

J. Saldhana and S. M. Shatz, 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.

A. Semenov, A. M. Koelmans, L. Lloyd, and A. Yakovlev, Designing an asynchronous processor using Petri nets, IEEE Micro, vol.17, issue.2, pp.54-64, 1997.
DOI : 10.1109/40.592316

M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-vincentelli, Synthesis of embedded software using free-choice Petri nets, 36th annual ACM/IEEE Design Automation Conf (DAC '99), pp.805-810, 1999.