Petri net semantics of priority systems
- 6 April 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 96 (1) , 175-215
- https://doi.org/10.1016/0304-3975(92)90184-h
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- On priority in COSYTheoretical Computer Science, 1990
- Concurrent systems and inevitabilityTheoretical Computer Science, 1989
- Event fairness and non-interleaving concurrencyFormal Aspects of Computing, 1989
- Ready-Trace Semantics for Concrete Process Algebra with the Priority OperatorThe Computer Journal, 1987
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987
- A formal semantics for concurrent systems with a priority relationActa Informatica, 1987
- Subset languages of Petri nets part I: The relationship to string languages and normal formsTheoretical Computer Science, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Concurrent control with “readers” and “writers”Communications of the ACM, 1971