Formal Methods for Embedded Systems Co-design: the FORDESIGN Project, ReCoSoC'05-Reconfigurable Communication-centric Systems-on-Chip -Workshop Proceedings, 2005. ,
DOI : 10.1109/etfa.2005.1612535
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
Petri net partitioning using net splitting operation, 2009 7th IEEE International Conference on Industrial Informatics, 2009. ,
DOI : 10.1109/INDIN.2009.5195804
Maude Manual (Version 2.5) Available at http ,
The Petri Net Markup Language: Concepts, Technology, and Tools, Proceeding of the 24th International Conference on Application and Theory of Petri Nets, ser. LNCS, W. van der Aalst and E. Best, pp.483-505, 2003. ,
DOI : 10.1007/3-540-44919-1_31
URL : https://hal.archives-ouvertes.fr/hal-00084186
Ecore representation for extending PNML for Input-Output Place-Transition nets, IECON 2010, 36th Annual Conference on IEEE Industrial Electronics Society, 2010. ,
DOI : 10.1109/IECON.2010.5675332
A Veri¯ cation Approach for GALS Integration of Synchronous Components, 2005. ,
Modeling And Performance Analysis of GALS architectures, 2006 International Symposium on System-on-Chip, 2006. ,
DOI : 10.1109/ISSOC.2006.321998