Model-Based Development of Embedded Systems, Advances in Object-Oriented Information Systems, p.298, 2002. ,
DOI : 10.1007/3-540-46105-1_34
Modeling Intelligent Embedded Real-Time Systems using High-Level Petri Nets, Proceedings of the forum on design languages FDL, 2001. ,
Model-Based Development of Embedded Systems: The SysWeaver Approach, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, 2006. ,
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, 2009. ,
DOI : 10.4018/978-1-60566-750-8
Hardware-software co-design of embedded systems [and prolog], Proceedings of the IEEE, pp.967-989, 1994. ,
Globally-Asynchronous Locally-Synchronous Systems, 1984. ,
Biting the silver bullet: toward a brighter future for system development, Computer, vol.25, issue.1, pp.8-20, 1992. ,
DOI : 10.1109/2.108047
Petri nets: an introduction, 1985. ,
Towards a Notion of Distributed Time for Petri Nets, Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, pp.23-31, 2001. ,
DOI : 10.1007/3-540-45740-2_3
Processes of Petri nets with localities, School of Computing Science, 2006. ,
Asynchronous-channels and time-domains extending Petri nets for GALS systems (eds) Technological Innovation for Value Creation, IFIP AICT, vol.372, pp.143-150, 2012. ,
Distributable nets Advances in Petri Nets, ser, LNCS, vol.524, pp.161-187, 1991. ,
Distributing Finite Automata Through Petri Net Synthesis, Formal Aspects of Computing, vol.13, issue.6, pp.447-470, 2002. ,
DOI : 10.1007/s001650200022
On Synchronous and Asynchronous Interaction in Distributed Systems, In: CoRR, p.48, 2009. ,
DOI : 10.1007/978-3-540-85238-4_2
On Distributability of Petri Nets, Foundations of Software Science and Computational Structures, ser. LNCS, pp.331-345, 2012. ,
DOI : 10.1007/978-3-642-28729-9_22
A primer on the Petri Net Markup Language and ISO/IEC 15909-2, In: Petri Net Newsletter, vol.24, issue.76, pp.9-28, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01126017
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-4, 2007. ,
DOI : 10.1007/s10009-007-0038-x
The Input-Output Place-Transition Petri Net Class and Associated Tools, 2007 5th IEEE International Conference on Industrial Informatics, 2007. ,
DOI : 10.1109/INDIN.2007.4384809