A composable modeling approach of HLA simulation systems based on Petri nets

Composable modeling enables the rapid, efficient and flexible assembly of simulation systems from components. To data there is a lack of formal descriptions for the process of composable modeling or composable modeling approaches are not operable in engineering. In view of the existing problems, a composable modeling approach based on Petri nets was proposed. Petri nets formal definition of component model was presented. Composition, substitution and deletion operations of component models were defined according to Petri nets operations. The process of composable modeling was transformed to Petri nets operations by the operations of component models. It was revealed by theoretical analysis that this approach based on Petri nets is a good solution to the problems of formal descriptions and operatability of composable modeling and can be used to describe composite models, federates and federations conveniently. The computability of composite models, federate and federations were also proven.