Thinking in Cycles

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

Authors: Mark-Oliver Stehr 

Publication date: 9 December 2022

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

Mathematics Subject Classification ID

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

Cites Work

• On the border of causality: contact and confusion
• \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems
• Partial and complete cyclic orders
• Cyclic ordering is NP-complete
• Nets, time and space
• Title not available (Why is that?)
• Title not available (Why is that?)
• Petri's axioms of concurrency a selection of recent results
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Relational Methods in Computer Science
• Formal properties of Petri's cycloid systems
• Circular traffic queues and Petri's cycloids
• On the structure of cycloids introduced by Carl Adam Petri
• Cyclic ordering through partial orders
• Title not available (Why is that?)

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)