Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Aho A.V., Hopcroft J.E., Ullman J.D.: The design and analysis of computer algorithms, (third printing), Addison-Wesley Publishing Company (76)
2. Badouel E. and Darondeau P.: Dualities between Nets and Automata induced by schizophrenic objects. INRIA Research Report 2452 (95). To appear in Proceedings of the “6th category theory and computer science”
3. Badouel E., Bernardinello L. and Darondeau P.: Polynomial algorithms for the synthesis of bounded nets, Proceedings Caap'95 LNCS 915 (95) p. 364–378
4. Badouel E., Bernardinello L. and Darondeau P.: The synthesis problem for elementary net systems is NP-complete. INRIA Research Report 2558 (95).
5. Bernardinello L.: Synthesis of net systems, application and theory of Petri nets, Springer Verlag Lecture notes in computer science, vol 691 (93) p. 89–105
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献