|
|
A model for representing reasoning about actions based on colored Petri net |
School of Computer Science and Telecommunication Engineering,Jiangsu University,Zhenjiang,Jiangsu 212013,China) |
|
|
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.
|
|
|
|
|
|
|
|