Globally-Asynchronous Locally-Synchronous Systems, 1984. ,
Asynchronous wrapper for heterogeneous systems, Proceedings International Conference on Computer Design VLSI in Computers and Processors, 1997. ,
DOI : 10.1109/ICCD.1997.628884
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
Model-Based Development of Embedded Systems, Advances in Object-Oriented Information Systems, 2002. ,
DOI : 10.1007/3-540-46105-1_34
Model-Based Development of Embedded Systems: The SysWeaver Approach, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, 2006. ,
An automated software verification tool for model-based development of embedded systems with simulink??, 2009 XXII International Symposium on Information, Communication and Automation Technologies, 2009. ,
DOI : 10.1109/ICAT.2009.5348445
Applying a Model-based Approach for Embedded System Development, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007), 2007. ,
DOI : 10.1109/EUROMICRO.2007.18
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, IGI Global's, 2009. ,
DOI : 10.4018/978-1-60566-750-8
A formal modeling framework for deploying synchronous designs on distributed architectures, in In FMGALS: Formal Methods for Globally Asynchronous Locally Asynchronous Architecture, 2003. ,
Processes of Petri nets with localities, School of Computing Science, 2006. ,
Dataflow Architectures for GALS, Electronic Notes in Theoretical Computer Science, vol.200, issue.1, pp.33-50, 2008. ,
DOI : 10.1016/j.entcs.2008.02.005
Petri nets: an introduction, 1985. ,
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System, 2nd DOCEIS -Doctoral Conference on Computing Electrical and Industrial Systems, 2011. ,
DOI : 10.1007/978-3-642-19170-1_26
An Ecore based Petri net type definition for PNML IOPT models, 2011 9th IEEE International Conference on Industrial Informatics, 2011. ,
DOI : 10.1109/INDIN.2011.6034992
State Space Generation Algorithm for GALS Systems Modeled by IOPT Petri Nets, 37th Annual Conf, 2011. ,
Pais, R: From Petri net models to C implementation of digital controllers, Proceedings of the ISIE'2010 -IEEE International Symposium on Industrial Electronics, 2010. ,
From Petri net models to VHDL implementation of digital controllers, 33rd Annual Conf, 2007. ,