[1]Stephen S Y，Nong Y，Hessam S S，et al.Toward development of adaptive service-based software systems［J］.IEEE Transactions on Services Computing，2009，2(3):247-260. [2]Lunardhi A，Passino K.Verification of qualitative properties of rule-based expert systems［J］.Applied Artificial Intelligence，1995，9(6):587-621. [3]Wang H O，Tanaka K，Griffin M F.An approach to fuzzy control of nonlinear systems:stability and design issues［J］.IEEE Transactions on Fuzzy Systems，1996，4(1):14-23. [4]Passino K，Michel A，Antsaklis P.Lyapunov stability of a class of discrete event systems［J］.IEEE Transactions on Automatic Control，1994，39(2):269-279. [5]Nazareth D.Investigating the applicability of Petri nets for rule-based system verification［J］.IEEE Transactions on Knowledge and Data Engineering，1993，4(3):402-415. [6]Wu C H，Lee S J.Knowledge verification with an enhanced high-level Petri-Net model［J］.IEEE Expert，1997，12(5):73-80. [7]He X D，Chu W，Yang H J.A new approach to verify rule-based systems using Petri nets［J］.Information and Software Technology，2003，45(10):663-669. [8]Yang S，Tsai J，Chen C C.Fuzzy rule base systems verification using high-level Petri nets［J］.IEEE Transactions on Knowledge and Data Engineering，2003，15(2):457-473. [9]Nazareth D.Issues in the verification of knowledge in rule-based systems［J］.International Journal of Man-Machine Studies，1989，30(3):255-271. [10]Capra L，Cazzola W.Self-evolving Petri nets［J］.Journal of Universal Computer Science，2007，13(13):2002-2034. [11]葛亮，张斌，刘莹，等.ASBS的反射Petri网性能建模方法［J］.软件学报，2011，22(sup 2):63-79.(Ge Liang，Zhang Bin，Liu Ying，et al.ASBS performance modeling approach using reflective Petri net［J］.Journal of Software，2011，22(sup 2):63-79.)
