Behavioural notions for elementary net systems
- 1 March 1990
- journal article
- research article
- Published by Springer Nature in Distributed Computing
- Vol. 4 (1) , 45-57
- https://doi.org/10.1007/bf01783665
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Event structures and trace monoidsTheoretical Computer Science, 1991
- Basic notions of trace theoryPublished by Springer Nature ,1989
- Nonsequential ProcessesPublished by Springer Nature ,1988
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987
- Behaviour of Elementary Net SystemsPublished by Springer Nature ,1987
- Advances in Petri Nets 1987Published by Springer Nature ,1987
- Partial order semantics versus interleaving semantics for CSP — like languages and its impact on fairnessLecture Notes in Computer Science, 1984
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977
- Categories for the Working MathematicianPublished by Springer Nature ,1971