Towards distributed execution of Petri net conflicts through model transformation

Petri nets are a suitable modeling formalism to specify concurrency, making them appropriate to model distributed embedded systems and embedded systems with concurrent processes. To make a distributed implementation of a system specified by a Petri net model, is required to make the partition/distribution of the model into a set of distributed and interacting sub-models. This paper presents a model transformation to allow the distributed execution of Petri net conflicts, enabling this way the distribution of processes in conflict. This transformation has some constraints and introduces some minor behavioral changes, otherwise it would not be possible to distribute Petri net conflicts (it is known that conflicts must be locally solved). This transformation was applied to a specific non-autonomous Petri net class (IOPT-nets), which together with its tool chain framework (IOPT-tools), allows the development of embedded systems. IOPT-tools (online available at http://gres.uninova.pt/) include an editor, a model-checking tool, and automatic code generators tools for software and hardware platforms.

[1]  Filipe Moutinho,et al.  Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems , 2012, DoCEIS.

[2]  Gérard Berthelot,et al.  Transformations and Decompositions of Nets , 1986, Advances in Petri Nets.

[3]  L. Gomes,et al.  The Input-Output Place-Transition Petri Net Class and Associated Tools , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[4]  Hong Liu,et al.  A Hybrid Multi-objective Evolutionary Algorithm and Its Application in Component-based Product Design , 2007 .

[5]  Fernando Pereira,et al.  Model-checking framework for embedded systems controllers development using IOPT Petri nets , 2012, 2012 IEEE International Symposium on Industrial Electronics.

[6]  Richard P. Hopkins.  Distributable nets , 1990, Applications and Theory of Petri Nets.

[7]  S. Haddad,et al.  An incremental verification technique using decomposition of Petri nets , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[8]  Luis Gomes,et al.  Petri net partitioning using net splitting operation , 2009, 2009 7th IEEE International Conference on Industrial Informatics.

[9]  Benoît Caillaud,et al.  Distributing Finite Automata Through Petri Net Synthesis , 2002, Formal Aspects of Computing.

[10]  Bernhard Schätz,et al.  Model-Based Development of Embedded Systems , 2002, OOIS Workshops.

[11]  Filipe Moutinho,et al.  Towards usage of formal methods within embedded systems co-design , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

[12]  Christian Bunse,et al.  Applying a Model-based Approach for Embedded System Development , 2007, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007).

[13]  Luís Gomes,et al.  Structuring and composability issues in Petri nets modeling , 2005, IEEE Transactions on Industrial Informatics.

[14]  Ursula Goltz,et al.  On Synchronous and Asynchronous Interaction in Distributed Systems , 2008, MFCS.

[15]  Bernd Kleinjohann,et al.  A Method for Prepartitioning of Petri Net Models for Parallel Embedded Real-Time Systems , 1999 .

[16]  W. J. Kubitz,et al.  Biting the silver bullet: toward a brighter future for system development , 1992 .

[17]  Filipe Moutinho,et al.  From IOPT Petri nets to C: An automatic code generator tool , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[18]  Luis Gomes,et al.  From Petri net models to VHDL implementation of digital controllers , 2007 .

[19]  Alexandre Yakovlev,et al.  Desynchronisation Technique Using Petri Nets , 2009, Electron. Notes Theor. Comput. Sci..

[20]  Qingtian Zeng.  Two Symmetrical Decomposition Methods for Structure-complex Petri Nets and Their Applications , 2007, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007).

[21]  Jong-Kun Lee.  Decomposition of Petri nets using the transitive matrix based on P-invariant , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[22]  Gaurav Bhatia,et al.  Model-Based Development of Embedded Systems: The SysWeaver Approach , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[23]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[24]  Altug Iftar,et al.  Overlapping decompositions and expansions of Petri nets , 2002, IEEE Trans. Autom. Control..

[25]  Bernd Kleinjohann,et al.  Modeling Intelligent Embedded Real-Time Systems using High-Level Petri Nets , 2001 .

[26]  Fabrice Kordon,et al.  New features in CPN-AMI 3: focusing on the analysis of complex distributed systems , 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

[27]  Dmitry A. Zaitsev,et al.  Decomposition-based Calculation of Petri Net Invariants , 2004 .

[28]  Lus Gomes,et al.  Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation , 2009 .

[29]  L. Gomes.  On conflict resolution in Petri nets models through model structuring and composition , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[30]  Ursula Goltz,et al.  On Distributability of Petri Nets , 2012, FoSSaCS.