Petri net semantics of priority systems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3825137 (Why is no real title available?)
- scientific article; zbMATH DE number 3919813 (Why is no real title available?)
- scientific article; zbMATH DE number 4035158 (Why is no real title available?)
- scientific article; zbMATH DE number 4037216 (Why is no real title available?)
- scientific article; zbMATH DE number 4110070 (Why is no real title available?)
- scientific article; zbMATH DE number 3722109 (Why is no real title available?)
- scientific article; zbMATH DE number 3740749 (Why is no real title available?)
- scientific article; zbMATH DE number 41788 (Why is no real title available?)
- scientific article; zbMATH DE number 3601083 (Why is no real title available?)
- A formal semantics for concurrent systems with a priority relation
- Calculi for synchrony and asynchrony
- Concurrent systems and inevitability
- Event fairness and non-interleaving concurrency
- On priority in COSY
- Process Algebra
- Readies and Failures in the Algebra of Communicating Processes
- Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
- Sequential and concurrent behaviour in Petri net theory
- Subset languages of Petri nets. I: The relationship to string languages and normal forms
- The semantics of priority and fairness in occam
Cited in
(18)- Relational structures model of concurrency
- Interval traces with mutex relation
- scientific article; zbMATH DE number 2079823 (Why is no real title available?)
- 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
- M-nets: a survey
- A process algebra with distributed priorities
- Controlling Petri Net Behavior using Priorities for Transitions
- On the analysis of Petri nets with static priorities
- Timing and causality in process algebra
- scientific article; zbMATH DE number 3907756 (Why is no real title available?)
- 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
- Structure of concurrency
- Reconfigurable Petri nets with transition priorities and inhibitor arcs
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)