Abstract:

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 architecture 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.