Polynomial algorithms for the synthesis of bounded nets
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Some complexity results on transition systems and elementary net systemsTheoretical Computer Science, 1994
- Synthesis of net systemsPublished by Springer Nature ,1993
- A trace semantics for Petri NetsPublished by Springer Nature ,1992