Occurrence traces
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 331-342
- https://doi.org/10.1007/3-540-50580-6_36
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Trace theoryPublished by Springer Nature ,1987
- Petri nets in software engineeringPublished by Springer Nature ,1987
- Behaviour of Elementary Net SystemsPublished by Springer Nature ,1987
- Elementary Net SystemsPublished by Springer Nature ,1987
- Concurrency TheoryPublished by Springer Nature ,1987
- Petri NetsPublished by Springer Nature ,1985
- A new definition of morphism on Petri netsLecture Notes in Computer Science, 1984
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977