一种基于有色网的行动推理表示模型

A model for representing reasoning about actions based on colored Petri net

针对行动推理中的异步并发、真并发和冲突难以被表示的问题,利用有色网具有严格的数学模型、易于形式化地描述系统异步、并发等特征的优点,提出一种基于有色网表示行动推理的形式化模型—CPNRAA网.运用其对状态、动作以及复合动作进行了形式化的描述,通过构造动作及复合动作的CPNRAA网并加入一个用于保存动作序列的库所,得出一个可以生成动作序列的CPNRAA网系统,并提出了该网系统动作序列的生成方法.对办公室环境下送咖啡实例的CPNRAA网系统进行了建模和仿真,自动生成的动作序列验证了CPNRAA网表示行动推理的可行性和有效性.

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.