3SUZUKI I , MURATA T. A method for stepwise refinement and abstraction of Petri nets[J]. Journal of Computer and System Science, 1983,27 ( 1 ) : 51-76.
4Loures E R, Pascal J C. Detection and diagnosis of hybrid dynamic systems based on time fuzzy Petri nets[C]. 2004 IEEE Int Conf on Systems, Man and Cybernetics. Hague, 2004: 1825-1831.