Observing Net Behaviour
- 1 January 1987
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Some equivalence notions for concurrent systems. An overviewPublished by Springer Nature ,2005
- Transformations and Decompositions of NetsPublished by Springer Nature ,1987
- Petri nets: Basic notions, structure, behaviourPublished by Springer Nature ,1986
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- An enlarged definition and complete axiomatization of observational congruence of finite processesPublished by Springer Nature ,1982
- Behaviour of a Place-Transition Net on a Subset of TransitionsPublished by Springer Nature ,1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Elements of general net theoryPublished by Springer Nature ,1980
- Net Theory and ApplicationsLecture Notes in Computer Science, 1980