Petri net semantics of priority systems

DOI10.1016/0304-3975(92)90184-HMaRDI QIDQ1190490zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

Recommendations

• On the analysis of Petri nets with static priorities
• scientific article; zbMATH DE number 2079823
• Priority conflict-free Petri nets
• scientific article; zbMATH DE number 3974312
• Controlling Petri Net Behavior using Priorities for Transitions

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)