scientific article; zbMATH DE number 3911720

MaRDI QIDQ3687727zbMATH OpenFDO

Authors Heino Carstensen, Ruediger Valk

Publication date 1985

zbMATH Keywords

infinite behaviourLanguages of labelled infinite firing sequences of Petri nets

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4024804
• scientific article; zbMATH DE number 4076637
• Infinite behaviour of Petri nets
• Marking fairness in Petri nets
• \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems

Cited in

(14)

• Marking fairness in Petri nets
• Specification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressions
• Problems concerning fairness and temporal logic for conflict-free Petri nets
• Automatic discovery of fair paths in infinite-state transition systems
• Infinite behaviour of Petri nets
• scientific article; zbMATH DE number 4024804 (Why is no real title available?)
• scientific article; zbMATH DE number 4076637 (Why is no real title available?)
• scientific article; zbMATH DE number 4076638 (Why is no real title available?)
• Normalization of place/transition-systems preserves net behaviour
• Boundedness, hierarchy of fairness, and communication networks with delay
• Using transition set sequences to partition behaviors of Petri nets
• 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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3687727)