scientific article

zbMATH Open0734.68070MaRDI QIDQ3361902

No author found.

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri netsdiscrete event systemsbounded-fairnessevent synchronization distancefiring-sequence-based fairness

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Unnamed Item

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• A taxonomy of fairness and temporal logic problems for Petri nets 👍 👎
• Marking fairness in Petri nets 👍 👎
• Problems concerning fairness and temporal logic for conflict-free Petri nets 👍 👎
• \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems 👍 👎
• Decidability of weak fairness in petri nets 👍 👎
• Efficient implementation of fairness in discrete-event systems using queues 👍 👎

This page was built for publication: