Petri nets are monoids
- 1 October 1990
- journal article
- Published by Elsevier in Information and Computation
- Vol. 88 (2) , 105-155
- https://doi.org/10.1016/0890-5401(90)90013-8
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Rewriting as a unified model of concurrencyPublished by Springer Nature ,2005
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- Concurrency and atomicityTheoretical Computer Science, 1988
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987
- Unification in Abelian semigroupsJournal of Automated Reasoning, 1987
- Concurrent histories: A basis for observing distributed systemsJournal of Computer and System Sciences, 1987
- Petri nets, algebras, morphisms, and compositionalityInformation and Computation, 1987
- An algebraic description of system behavioursTheoretical Computer Science, 1982
- Closed categories generated by commutative monadsJournal of the Australian Mathematical Society, 1971
- Adjoint functors and triplesIllinois Journal of Mathematics, 1965