Petri net semantics of priority systems
DOI10.1016/0304-3975(92)90184-HzbMATH Open0753.68059OpenAlexW2076617252MaRDI QIDQ1190490FDOQ1190490
Authors: Maciej Koutny, Eike Best 
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
Recommendations
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)
Cites Work
- Calculi for synchrony and asynchrony
- Title not available (Why is that?)
- Event fairness and non-interleaving concurrency
- Process Algebra
- Title not available (Why is that?)
- Sequential and concurrent behaviour in Petri net theory
- A formal semantics for concurrent systems with a priority relation
- Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
- Subset languages of Petri nets. I: The relationship to string languages and normal forms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The semantics of priority and fairness in occam
- On priority in COSY
- Readies and Failures in the Algebra of Communicating Processes
- Concurrent systems and inevitability
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (18)
- Relational structures model of concurrency
- Interval traces with mutex relation
- Title not available (Why is that?)
- A process algebra with distributed priorities
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
- Priority as extremal probability
- Analysis of Petri nets with a dynamic priority method
- A process algebra with distributed priorities
- M-nets: a survey
- Controlling Petri Net Behavior using Priorities for Transitions
- On the analysis of Petri nets with static priorities
- Timing and causality in process algebra
- Title not available (Why is that?)
- Formal Methods for Components and Objects
- On relating some models for concurrency
- A Petri net approach for the design and analysis of web services choreographies
- Reconfigurable Petri nets with transition priorities and inhibitor arcs
- Structure of concurrency
This page was built for publication: Petri net semantics of priority systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1190490)
