B-fairness and structural B-fairness in Petri Net models of concurrent systems
Journal of Computer and System Sciences
Delay-insensitive multi-ring structures
Integration, the VLSI Journal - Special issue on asynchronous systems
Theoretical Computer Science - Special volume on Petri nets
On the border of causality: contact and confusion
Theoretical Computer Science - Special volume on Petri nets
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Representation and Processing of Qualitative Orientation Knowledge
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Petri's Axioms of Concurrency- A Selection of Recent Results
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Concurrency Theory of cyclic and acyclic processes
Concurrency Theory of cyclic and acyclic processes
| Hi-index | 0.00 |
A new axiomization of the intuitive concept of partial cyclic orders is proposed and the appropriateness is motivated from pragmatic as well as mathematical perspectives. There is a close relation to Petri net theory since the set of basic circuits of a safe and live synchronization graph naturally gives rise to a cyclic order. As a consequence cyclic orders provide a simple technique for safety-oriented specification where safety (in the sense of net theory) is achieved by relying on the fundamental concept of cyclic causality constraints avoiding the risk of an immediate and directed causality relation. From a foundational point of view cyclic orders provide a basis for a theory of nonsequential cyclic processes and new insights into C.A.Petri's concurrency theory. By the slogan measurement as control cyclic orders can serve as a tool for the construction of cyclic measurement scales, spatial and temporal knowledge representation and reasoning being only some applications. New results in this article include a characterization of global orientability (implementability) by weak F-density (the existence of a true cut).