On the category of Petri net computations
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Axiomatizing net computations and processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A Linear Specification Language for Petri NetsDAIMI Report Series, 1991
- Petri nets are monoidsInformation and Computation, 1990
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987
- Petri nets, algebras, morphisms, and compositionalityInformation and Computation, 1987
- Petri NetsPublished by Springer Nature ,1985
- A new definition of morphism on Petri netsLecture Notes in Computer Science, 1984
- The non-sequential behaviour of Petri netsInformation and Control, 1983
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Categories for the Working MathematicianPublished by Springer Nature ,1971