Embedding time Petri nets

This paper presents a tool (PN2A) which embeds Time Petri Nets (TPN) to Arduino micro-controller architecture. PN2A imports TPN and generates Arduino sketches, which can be then compiled and uploaded to a micro-controller architecture. Some transitions (resp. places) of the transition set (resp. place set) can be assigned to pins of the micro-controller. Theses two types of transitions generates a new firing semantics combining weak and strong semantics. Embedded, the TPN becomes partially non-autonomous and can be defined as a microcontroller Synchronised Time Petri net (mSTPN).

[1]  Luca Ferrarini,et al.  An incremental approach to logic controller design with Petri nets , 1992, IEEE Trans. Syst. Man Cybern..

[2]  Didier Lime,et al.  Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches , 2007, Discret. Event Dyn. Syst..

[3]  Man Ieee Systems.  IEEE transactions on systems, man and cybernetics , 1971 .

[4]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[5]  J. Christian Attiogbé,et al.  Semantic Embedding of Petri Nets into Event-B , 2005, ArXiv.

[6]  Andrea Maggiolo-Schettini,et al.  Time-Based Expressivity of Time Petri Nets for System Specification , 1999, Theor. Comput. Sci..

[7]  Jin S. Lee,et al.  Automatic generation of ladder diagram with control Petri Net , 2004, J. Intell. Manuf..

[8]  Marc Boyer,et al.  On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets , 2008, Fundam. Informaticae.

[9]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[10]  Hans-Michael Hanisch.  Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control , 1993, Application and Theory of Petri Nets.

[11]  Dirk Taubner,et al.  On the Implementation of Petri Nets , 1988, European Workshop on Applications and Theory of Petri Nets.

[12]  Fabrice Kordon.  Prototypage de systemes paralleles a partir de reseaux de petri colores, application au langage ada dans un environnement centralise ou reparti , 1992 .

[13]  S. Calvez,et al.  P-Time Petri Nets for Manufacturing Systems with Staying Time Constraints , 1997 .

[14]  C. Petri.  Kommunikation mit Automaten , 1962 .

[15]  Medesu Sogbohossou,et al.  Unfolding of time Petri nets for quantitative time analysis , 2009 .

[16]  Vladimír Janousek,et al.  Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems , 2013, PNSE+ModPE.

[17]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..