\(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems

DOI10.1016/0022-0000(92)90013-9zbMath0788.68048MaRDI QIDQ1191025

S. Singh

Publication date: 27 September 1992

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(92)90013-9

zbMATH Keywords

fairness; Petri nets; distributed concurrent systems

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

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

Related Items

Deciding a class of path formulas for conflict-free Petri nets

Cites Work

• Fairness and conspiracies
• Fair relation and modified synchronic distances in a Petri net
• Three measures for synchronic dependence in Petri nets
• A fresh look at free choice nets
• On Algorithms for Enumerating All Circuits of a Graph
• Finding All the Elementary Circuits of a Directed Graph
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item