X Chang, H Pang, L Hu - 2010 International Conference on …, 2010 - ieeexplore.ieee.org
Petri Nets is a powerful mathematical modeling tool for system description and analysis, with
which we can describe the relationship among entities efficiently. The present thesis puts …