Petri Nets, Algebras, Morphisms, and Compositionality

  title={Petri Nets, Algebras, Morphisms, and Compositionality},
  author={Glynn Winskel},
  journal={Inf. Comput.},
It is shown how a category of Petri nets can be viewed as a subcategory of two sorted algebras over multisets. This casts Petri nets in a familiar framework and provides a useful idea of morphism on nets different from the conventional definition-the morphisms here respect the behaviour of nets. The categorical constructions which result provide a useful way to synthesise nets and reason about nets in terms of their components; for example, various forms of parallel composition of Petri nets… CONTINUE READING
Highly Influential
This paper has highly influenced 16 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.
Showing 1-10 of 104 extracted citations


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

Computer Science Dept., University of Aarhus, Denmark

  • G. Winskel
  • 1980
Highly Influential
4 Excerpts

Synchronisation trees, Theoret. Compur

  • 1985
1 Excerpt

An introduction to inductive definitions, in “Handbook of Mathematical Logic

  • P. ACZEL
  • 1983
1 Excerpt

Similar Papers

Loading similar papers…