Petri net semantics of priority systems
From MaRDI portal
Publication:1190490
DOI10.1016/0304-3975(92)90184-HzbMath0753.68059OpenAlexW2076617252MaRDI QIDQ1190490
Publication date: 26 September 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(92)90184-h
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (11)
On relating some models for concurrency ⋮ A Petri net approach for the design and analysis of web services choreographies ⋮ Timing and causality in process algebra ⋮ Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs ⋮ Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets ⋮ Relational structures model of concurrency ⋮ A process algebra with distributed priorities ⋮ Structure of concurrency ⋮ M-nets: a survey ⋮ Priority as extremal probability ⋮ A process algebra with distributed priorities
Cites Work
- Subset languages of Petri nets. I: The relationship to string languages and normal forms
- Event fairness and non-interleaving concurrency
- On priority in COSY
- Calculi for synchrony and asynchrony
- A formal semantics for concurrent systems with a priority relation
- Sequential and concurrent behaviour in Petri net theory
- Concurrent systems and inevitability
- Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
- Readies and Failures in the Algebra of Communicating Processes
- Process Algebra
- The semantics of priority and fairness in occam
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Petri net semantics of priority systems
