Author:
Ahmad Farooq,Huang Hejiao,Wang Xiaolong
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference41 articles.
1. Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources;Ahmad;Journal of Systems and Software,2010
2. F. Ahmad, Petri net Analysis based on Transition Vectors, Ph.D. Thesis of Harbin Institute of Technology, China, 2009.
3. Generating basis siphons and traps of Petri nets using the sign incidence matrix;Boer;IEEE Trans. on Circuits and Systems-I: Fundamental Theory and Applications,1994
4. L. Capra, Colored Petri nets state-space reduction via symbolic execution, in: Proceedings of IEEE International Symposium SYNASC’05, 2005, p. 231.
5. M. Ceska, L. Hasa, T. Vojnar, Partial-order reduction in model checking object-oriented Petri nets, in: Proceedings of EUROCAST 2003, LNCS 2809, 2003, pp. 265–278.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献