Petri Nets, Algebras, Morphisms, and Compositionality

@article{Winskel1987PetriNA,
  title={Petri Nets, Algebras, Morphisms, and Compositionality},
  author={Glynn Winskel},
  journal={Inf. Comput.},
  year={1987},
  volume={72},
  pages={197-238}
}
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

Citations

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

References

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

Computer Science Dept., University of Aarhus, Denmark

  • G. Winskel
  • WINSKEL. G
  • 1980
Highly Influential
4 Excerpts

Synchronisation trees, Theoret. Compur

  • G. WINSKEL
  • 1985
1 Excerpt

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

  • P. ACZEL
  • 1983
1 Excerpt

Similar Papers

Loading similar papers…