Publisher
Springer International Publishing
Reference20 articles.
1. Lecture Notes in Computer Science;C Autant,1991
2. Best, E., Devillers, R.: Sequential and concurrent behavior in Petri net theory. Theor. Comput. Sci. 55(1), 87–136 (1987)
3. Best, E., Devillers, R., Kiehn, A., Pomello, L.: Concurrent bisimulations in Petri nets. Acta Informatica 28(3), 231–264 (1991).
https://doi.org/10.1007/BF01178506
4. Christensen, S.: Decidability and decomposition in process algebra. Ph.D. Thesis, University of Edinburgh (1993)
5. Engelfriet, J.: Branching processes of Petri nets. Acta Informatica 28(6), 575–591 (1991).
https://doi.org/10.1007/BF01463946
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献