Petri Nets and Marked Graphs--Mathematical Models of Concurrent Computation

DOI10.2307/2320826zbMath0507.68032OpenAlexW4240939334MaRDI QIDQ4745266

Richard Johnsonbaugh, Tadao Murata

Publication date: 1982

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2320826

zbMATH Keywords

concurrency

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Structure matrices for Petri nets and their applications ⋮ Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable ⋮ Fair relation and modified synchronic distances in a Petri net