scientific article
From MaRDI portal
Publication:3766865
zbMath0629.68063MaRDI QIDQ3766865
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fairnessPetri netsdecidabilityfinite delay propertyfair transition sequenceinfinite transition sequence
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Problems concerning fairness and temporal logic for conflict-free Petri nets, Decidability of weak fairness in petri nets, Decidability of a temporal logic problem for Petri nets, Termination Problems in Chemical Kinetics, Exhibition of a Structural Bug with Wings, Communicating processes, scheduling, and the complexity of nontermination, Global and local views of state fairness, A taxonomy of fairness and temporal logic problems for Petri nets
