基于PES的Petri网可执行模型生成方法

Approach for generating Petri net executable model based on physical exchange specification of architecture

针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可执行模型生成框架,通过体系结构模型数据含义与Petri网模型元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性。该方法实现了灵活、自动化的Petri网可执行模型生成,打破了体现结构建模语言和Petri网模型类型的限制。

In order to solve the problem of flexibility and scalability in generating the executable model for architecture validation and evaluation, an approach for generating Petri net executable model based on physical exchange specification （PES） of architecture is proposed. Based on PES proposed in DoDAF2. 0 and an extended Petri net markup language （PNML） specification of the supported object, a framework of generating Petri net executable model based on PES is constructed. By studying the semantic relationship between model data of ar-chitecture and elements of Petri net, the transformation rules and algorithms from PES to the extended PNML are studied by the case of the operational activity model. To verify the feasibility of this approach, the search and rescue case is studied. This approach implements the generation of Petri net executable model flexibly and automatically,and breaks the limit of modeling languages of architecture and types of Petri net.