Three measures for synchronic dependence in Petri nets
From MaRDI portal
Publication:1836303
DOI10.1007/BF00290730zbMath0504.68032MaRDI QIDQ1836303
Publication date: 1983
Published in: Acta Informatica (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A unified approach for deciding the existence of certain petri net paths, \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems, Deciding a class of path formulas for conflict-free Petri nets