Theory of regions
- 1 January 1998
- book chapter
- Published by Springer Nature
- Vol. 1491, 529-586
- https://doi.org/10.1007/3-540-65306-6_22
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- The synthesis problem of Petri netsActa Informatica, 1996
- An event structure semantics for general Petri netsTheoretical Computer Science, 1996
- Complete state encoding based on the theory of regionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1996
- Trace nets and process automataActa Informatica, 1995
- Polynomial algorithms for the synthesis of bounded netsPublished by Springer Nature ,1995
- Synthesizing Petri nets from state-based modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1995
- Some complexity results on transition systems and elementary net systemsTheoretical Computer Science, 1994
- Synthesis of net systemsPublished by Springer Nature ,1993
- Trace NetsPublished by Springer Nature ,1993
- A trace semantics for Petri NetsPublished by Springer Nature ,1992