The construction of EN systems from a given trace behaviour
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 133-153
- https://doi.org/10.1007/3-540-50580-6_27
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Trace languages defined by regular string languagesRAIRO - Theoretical Informatics and Applications, 1986
- Petri nets: Basic notions, structure, behaviourPublished by Springer Nature ,1986
- Semantics of concurrent systems: A modular fixed-point trace approachPublished by Springer Nature ,1985