Thinking in Cycles

DOI10.1007/3-540-69108-1_12zbMATH Open1510.6807MaRDI QIDQ6487393FDOQ6487393

Authors Mark-Oliver Stehr

Publication date 9 December 2022

Mathematics Subject Classification ID

Partial orders, general (06A06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Cyclic ordering through partial orders
• Formal properties of Petri's cycloid systems
• scientific article; zbMATH DE number 193318
• Cyclic orders
• Circular traffic queues and Petri's cycloids

Cites work

• scientific article; zbMATH DE number 1263852 (Why is no real title available?)
• scientific article; zbMATH DE number 1265082 (Why is no real title available?)
• scientific article; zbMATH DE number 3253170 (Why is no real title available?)
• scientific article; zbMATH DE number 3343634 (Why is no real title available?)
• Cyclic ordering is NP-complete
• Nets, time and space
• On the border of causality: contact and confusion
• Partial and complete cyclic orders
• Petri's axioms of concurrency a selection of recent results
• \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems

Cited in

(6)

• Cyclic ordering through partial orders
• scientific article; zbMATH DE number 5173955 (Why is no real title available?)
• Formal properties of Petri's cycloid systems
• On the structure of cycloids introduced by Carl Adam Petri
• Relational Methods in Computer Science
• Circular traffic queues and Petri's cycloids

This page was built for publication: Thinking in Cycles

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