Degrees of non-determinism and concurrency: A Petri net view
- 1 January 1984
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- A theory of bipolar synchronization schemesTheoretical Computer Science, 1984
- D-continuous causal nets: A model of non-sequential processesTheoretical Computer Science, 1983
- The non-sequential behaviour of Petri netsInformation and Control, 1983
- Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice netsPublished by Springer Nature ,1983
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- The relative strength of K-densityPublished by Springer Nature ,1980
- On the Equivalence of Asynchronous Control StructuresSIAM Journal on Computing, 1973
- SynchronisationsgraphenActa Informatica, 1973
- Marked directed graphsJournal of Computer and System Sciences, 1971