Publisher
Springer Berlin Heidelberg
Reference44 articles.
1. Lecture Notes in Computer Science;R. Alur,1999
2. Lecture Notes in Computer Science;E. Badouel,1995
3. Badouel, E., Bernardinello, L., Darondeau, P.: The Synthesis Problem for Elementary Net Systems is NP-complete. Theoretical Computer Science 186, 107–134 (1997)
4. Badouel, E., Caillaud, B., Darondeau, P.: Distributing finite automata through Petri net synthesis. Formal Aspects of Computing 13, 447–470 (2002)
5. Badouel, E.: Darondeau, P.: On the Synthesis of General Petri Nets. Inria Research Report 3025 (1996)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献