The synthesis problem of Petri nets
- 1 June 1996
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 33 (4) , 297-315
- https://doi.org/10.1007/s002360050046
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Synthesis of net systemsPublished by Springer Nature ,1993
- PETRI NETS AND STEP TRANSITION SYSTEMSInternational Journal of Foundations of Computer Science, 1992
- Elementary transition systemsTheoretical Computer Science, 1992
- Partial (set) 2-structuresActa Informatica, 1990
- Transforming sequential systems into concurrent systemsTheoretical Computer Science, 1985
- A methodology for programming with concurrency: An informal presentationScience of Computer Programming, 1982