Branching Processes of Timed Petri Nets

The intention of this note is to spread the Couvreur et al.’s semantic framework of branching processes [9], suitable for describing the behavior of general Petri nets with interleaving semantics, to timed general Petri nets with step semantics in order to characterize unfolding as the greatest element of a complete lattice of branching processes. In case of maximal step semantics of timed Petri nets, we impose some restrictions on the model behavior and define a new class of branching processes and unfoldings under the name of apt ones which are shown to satisfy the complete lattice properties.

[1]  Maciej Koutny,et al.  Canonical prefixes of Petri net unfoldings , 2002, Acta Informatica.

[2]  Denis Poitrenaud,et al.  Branching Processes of General Petri Nets , 2013, Fundam. Informaticae.

[3]  Thomas Chatain,et al.  Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets , 2005, FORMATS.

[4]  Jussi Rintanen,et al.  Planning via Petri Net Unfolding , 2007, IJCAI.

[5]  Robin Bergenthum,et al.  Unfolding Semantics of Petri Nets Based on Token Flows , 2009, Fundam. Informaticae.

[6]  Paolo Baldan,et al.  Distributed Unfolding of Petri Nets , 2006, FoSSaCS.

[7]  Javier Esparza.  Model Checking Using Net Unfoldings , 1994, Sci. Comput. Program..

[8]  Hans Fleischhack,et al.  Computing a Finite Prefix of a Time Petri Net , 2002, ICATPN.

[9]  Johan Lilius,et al.  Time Processes for Time Petri-Nets , 1997, ICATPN.

[10]  Patrik Haslum,et al.  Recent advances in unfolding technique , 2014, Theor. Comput. Sci..

[11]  David de Frutos-Escrig,et al.  Timed Processes of Timed Petri Nets , 1995, Application and Theory of Petri Nets.

[12]  Joost Engelfriet,et al.  Branching processes of Petri nets , 1991, Acta Informatica.

[13]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

[14]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[15]  Louchka Popova-Zeugmann,et al.  Time and Petri Nets , 2013, Springer Berlin Heidelberg.

[16]  Patrik Haslum,et al.  Directed Unfolding of Petri Nets , 2008, Trans. Petri Nets Other Model. Concurr..

[17]  Ugo Montanari,et al.  On the semantics of place/transition Petri nets , 1997, Mathematical Structures in Computer Science.

[18]  Andrea Corradini,et al.  Efficient unfolding of contextual Petri nets , 2012, Theor. Comput. Sci..

[19]  Elisabeth Pelz,et al.  Hierarchical Timed High Level Nets and Their Branching Processes , 2003, ICATPN.