Reduction rules for Petri Net based representation for embedded systems
XIA Chuanliang 1,2+
Journal of Frontiers of Computer Science and Technology . 2008, (6): 614 -626 .  DOI: 10.3778/j.issn.1673-9418.2008.06.005