Author:
Virbitskaite I. B.,Borovlev V. A.,Popova-Zeugmann L.
Reference20 articles.
1. Nielsen, M., Plotkin, G.D., and Winskel, G., Petri nets, event structures and domains, Part I, Theor. Comput. Sci., 1981, vol. 13, no. 1, pp. 85–108.
2. Engelfriet, J., Branching processes of Petri nets, Acta Informatica, 1991, vol. 28, no. 6, pp. 575–591.
3. Meseguer, J., Montanari, U., and Sassone, V., On the semantics of place/transition Petri nets, Math. Structures Comput. Sci., 1997, vol. 7, no. 4, pp. 359–397.
4. Couvreur, J., Poitrenaud, D., and Weil, P., Branching processes of general Petri nets, Fundamenta Informaticae, 2013, vol. 122, pp. 31–58.
5. McMillan, K.I., A technique of a state space search based on unfolding, Formal Methods System Design, 1995, vol. 6, no. 1, pp. 45–65.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Testing Equivalences of Time Petri Nets;Programming and Computer Software;2020-07