Fair relation and modified synchronic distances in a Petri net
From MaRDI portal
Publication:1067788
DOI10.1016/0016-0032(85)90028-6zbMath0581.68048MaRDI QIDQ1067788
Publication date: 1985
Published in: Journal of the Franklin Institute (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0016-0032(85)90028-6
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25: Theory of operating systems
Related Items
\(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems, Net operations