Domain and event structure semantics for Petri nets with read and inhibitor arcs

  title={Domain and event structure semantics for Petri nets with read and inhibitor arcs},
  author={Paolo Baldan and Nadia Busi and Andrea Corradini and G. Michele Pinna},
  journal={Theor. Comput. Sci.},
We propose a functorial concurrent semantics for Petri nets ex ended withread and inhibitor arcs, that we call inhibitor nets. Along the lines of the seminal work by Winskel on safe (ordinary) nets, the truly concurrent semantics is g iven at a categorical level via a chain of coreflections leading from the category SW-IN of semi-weighted inhibitor nets to the categoryDom of finitary prime algebraic domains (equivalent to the categ ory PES of prime event structures). As an intermediate semantic… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 33 references

An event stru ture semanti s for P/T on textual nets: Asymmetri event stru tures

P. Baldan, A. Corradini, U. Montanari
In M. Nivat, editor, Pro eedings of FoSSaCS '98, volume 1378 of LNCS, pages 63{80. Springer Verlag, • 1998

Petri Nets with Inhibitor and Read Ar s: Semanti s, Analysis and Appli ation to Pro ess Cal uli

N. Busi
PhD thesis, University of Siena, Department of Computer S ien e, • 1998

Similar Papers

Loading similar papers…