Thinking in Cycles

DOI10.1007/3-540-69108-1_12MaRDI QIDQ6487393zbMATH OpenFDO

Authors Mark-Oliver Stehr

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-69108-1_12

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

• \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems
• Cyclic ordering is NP-complete
• 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?)
• 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

Cited in

(6)

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

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)