Publication:3319781
From MaRDI portal
zbMath0535.68029MaRDI QIDQ3319781
Publication date: 1981
boundedness; reachability; liveness; Petri net; counter machines; computational power of Petri nets; firing of transitions
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Catalytic and communicating Petri nets are Turing complete, On priority in COSY, An investigation of controls for concurrent systems based on abstract control languages, Concurrent and maximally concurrent evolution of nonsequential systems, Time-based expressivity of time Petri nets for system specification, Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem, P Systems Working in Maximal Variants of the Set Derivation Mode