Author:
de Oliveira Oliveira Mateus
Publisher
Springer International Publishing
Reference24 articles.
1. Avellaneda, F., Morin, R.: Checking partial-order properties of vector addition systems with states. In: Proceedings of ACSD 2013, pp. 100–109. IEEE (2013)
2. Badouel, E., Darondeau, P.: On the synthesis of general Petri nets. Technical Report PI-1061, IRISA (1996)
3. Lecture Notes in Computer Science;E Badouel,1998
4. Bauderon, M., Courcelle, B.: Graph expressions and graph rewritings. Math. Syst. Theor. 20(2–3), 83–127 (1987)
5. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri nets from infinite partial languages. In: Proceedings of ACSD 2008, pp. 170–179. IEEE (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Causality in Bounded Petri Nets is MSO Definable;Logic, Language, Information, and Computation;2016