Abstract:In order to solve the problems in representing asynchronized concurrency,true concurrency and conflic,a new formalized representation model—CPNRAA net was proposed based on the colored Petrinets,which possessed strict mathematic model and could easily represent the asynchronization and concurrency.After that the states,actions and compound actions were formalized.A CPNRAA net system was provided by constructing the CPNRAA net for actions and compound actions and by adding a special place to save the action sequence.The method for generating action sequence was introduced and the actionsequence was obtained automatically in the proposed CPNRAA net.Finally,the case of CPNRAA net of sending coffee in the office was modeled and simulated,and the action sequence was automatically generated.The results show that the proposed CPNRAA net model possesses good feasibility and effectiveness.
刘一松, 钟珊, 詹永照 . 一种基于有色网的行动推理表示模型[J]. 江苏大学学报(自然科学版), 2010, 31(3): 334-338.
Liu Yisong, Zhong Shan, Zhan Yongzhao . A model for representing reasoning about actions based on colored Petri net[J]. Journal of Jiangsu University(Natural Science Eidtion)
, 2010, 31(3): 334-338.