scientific article
From MaRDI portal
Publication:3687727
zbMath0571.68045MaRDI QIDQ3687727
Heino Carstensen, Ruediger Valk
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Specification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressions ⋮ Normalization of place/transition-systems preserves net behaviour ⋮ Problems concerning fairness and temporal logic for conflict-free Petri nets ⋮ Boundedness, hierarchy of fairness, and communication networks with delay ⋮ The residue of vector sets with applications to decidability problems in Petri nets ⋮ Global and local views of state fairness ⋮ A taxonomy of fairness and temporal logic problems for Petri nets
