Causality Semantics of Petri Nets with Weighted Inhibitor Arcs

A causality semantics for weighted Place/Transition nets with weighted inhibitor arcs (PTI-nets) is proposed, by extending the standard approach based on the process semantics given through net unfolding and occurrence nets. It is demonstrated how processes corresponding to step sequences of PTI-nets can be constructed, and a nonalgorithmic (axiomatic) characterisation is given of the processes that can be obtained in this way. Moreover, a framework is established allowing to separately consider behaviours, processes and causality, in order to facilitate the discussion of their mutual consistency for different Petri net classes.

[1]  Giuliana Franceschinis,et al.  Modelling and Analysis of Distributed Software Using GSPNs , 1996, Petri Nets.

[2]  Maciej Koutny,et al.  Process Semantics of P/T-Nets with Inhibitor Arcs , 2000, ICATPN.

[3]  G. Michele Pinna,et al.  Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs , 2000, CONCUR.

[4]  Raymond R. Devillers,et al.  Sequential and Concurrent Behaviour in Petri Net Theory , 1987, Theor. Comput. Sci..

[5]  Haim Gaifman,et al.  Partial Order Models of Concurrency and the Computation of Functions , 1987, LICS.

[6]  ChiolaG.,et al.  Generalized Stochastic Petri Nets , 1993 .

[7]  Maciej Koutny,et al.  Process semantics of general inhibitor nets , 2004, Inf. Comput..

[8]  Joost Engelfriet,et al.  Elementary Net Systems , 1996, Applications and Theory of Petri Nets.

[9]  Eike Best,et al.  Nonsequential Processes: A Petri Net View , 1988 .

[10]  Walter Vogler.  Partial order semantics and read arcs , 2002, Theor. Comput. Sci..

[11]  Eike Best,et al.  Nonsequential Processes , 1988, EATCS Monographs on Theoretical Computer Science.

[12]  Walter Vogler,et al.  Executions: A New Partial-Order Semantics of Petri Nets , 1991, Theor. Comput. Sci..

[13]  Jonathan Billington,et al.  Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets , 1996, Petri Nets.

[14]  Roland Fraïssé.  Theory of relations , 1986 .

[15]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[16]  G. Michele Pinna,et al.  Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs , 1999, Fundam. Informaticae.

[17]  Michel Hack,et al.  Decidability Questions for Petri Nets , 1975, Outstanding Dissertations in the Computer Sciences.

[18]  Maciej Koutny,et al.  Semantics of Inhibitor Nets , 1995, Inf. Comput..

[19]  Wolfgang Reisig,et al.  The Non-sequential Behavior of Petri Nets , 1983, Inf. Control..