Author:
Liu Guanjun,Zhang Kun,Jiang Changjun
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;WMP Aalst van der,2000
2. Bonet, B., Haslum, P., Khomenko, V., Thiebaux, S., Vogler, W.: Recent advances in unfolding technique. Theoret. Comput. Sci. 551, 84–101 (2014)
3. Clarke, E.M., Grumberg, O., Peled, D.: Modeling Chencking, 1st edn. The MIT Press, Cambridge (1999)
4. Couvreur, J.M., Poitrenaud, D., Weil, R.: Branching processes of general Petri nets. Fundamenta Informaticae 122, 31–58 (2013)
5. Chu, F., Xie, X.L.: Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot Automat. 13, 793–840 (1997)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献