Pre-nets, Read Arcs and Unfolding: A Functorial Presentation

Pre-nets have been recently proposed as a means of providing a functorial algebraic semantics to Petri nets (possibly with read arcs), overcoming some previously unsolved subtleties of the classical model. Here we develop a functorial semantics for pre-nets following a sibling classical approach based on an unfolding construction. Any pre-net is mapped to an acyclic branching net, representing its behaviour, then to a prime event structure and finally to a finitary prime algebraic domain. Then the algebraic and unfolding view are reconciled: we exploit the algebraic semantics to define a functor from the category of pre-nets to the category of domains that is shown to be naturally isomorphic to the unfolding-based functor. All the results are extended to pre-nets with read arcs.

[1]  José Meseguer,et al.  Petri Nets Are Monoids , 1990, Inf. Comput..

[2]  Ugo Montanari,et al.  Contextual Petri Nets, Asymmetric Event Structures, and Processes , 2001, Inf. Comput..

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

[4]  Wolfgang Reisig,et al.  Petri Nets: Applications and Relationships to Other Models of Concurrency , 1986, Lecture Notes in Computer Science.

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

[6]  J. Meseguer,et al.  Functorial models for contextual pre-nets , 2002 .

[7]  Peter Csaba Ölveczky,et al.  Rewriting Logic as a Unifying Framework for Petri Nets , 2001, Unifying Petri Nets.

[8]  Roberto Bruni,et al.  Two Algebraic Process Semantics for Contextual Nets , 2001, Unifying Petri Nets.

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

[10]  Wilfried Brauer,et al.  Foundations of computer science : potential--theory--cognition , 1997 .

[11]  Glynn Winskel,et al.  Events in security protocols , 2001, CCS '01.

[12]  Vladimiro Sassone,et al.  An axiomatization of the category of Petri net computations , 1998, Mathematical Structures in Computer Science.

[13]  J. Davenport.  Editor , 1960 .

[14]  Fabio Gadducci,et al.  Axioms for Contextual Net Processes , 1998, ICALP.

[15]  José Meseguer,et al.  Representation Theorems for Petri Nets , 1997, Foundations of Computer Science: Potential - Theory - Cognition.

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

[17]  José Meseguer,et al.  Process versus Unfolding Semantics for Place/Transition Petri Nets , 1996, Theor. Comput. Sci..

[18]  Gordon D. Plotkin,et al.  Configuration structures , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

[19]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[20]  Grzegorz Rozenberg,et al.  Advances in Petri Nets 1985 , 1985, Lecture Notes in Computer Science.

[21]  José Meseguer,et al.  On the Semantics of Petri Nets , 1992, CONCUR.

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

[23]  Hartmut Ehrig,et al.  Graph Transformations in Computer Science , 1994, Lecture Notes in Computer Science.

[24]  Roberto Bruni,et al.  Functorial Models for Petri Nets , 2001, Inf. Comput..

[25]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[26]  Walter Vogler.  Efficiency of Asynchronous Systems and Read Arcs in Petri Nets , 1997, ICALP.

[27]  J. Meigs,et al.  WHO Technical Report , 1954, The Yale Journal of Biology and Medicine.

[28]  Gérard Berry,et al.  Stable Models of Typed lambda-Calculi , 1978, ICALP.

[29]  Francesca Rossi,et al.  Contextual Occurence Nets and Concurrent Constraint Programming , 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

[30]  Paolo Baldan,et al.  Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars , 2000 .

[31]  Ugo Montanari,et al.  Modelling Concurrent Accesses to Shared Data via Petri Nets , 1994, PROCOMET.

[32]  Rüdiger Valk,et al.  Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday , 1997 .

[33]  Roberto Bruni,et al.  Functorial semantics for Petri nets under the individual token philosophy , 1999, CTCS.