Dynamic Analysis for Complex Information System Based on Nested Petri Nets

The analysis for complex information system includes both the structural system aspects and the system behavior, which can be achieved by nested Petri nets in the paper, i.e. Petri nets in which tokens can be nested relational data. Firstly, each place of a net represents a nested relation scheme, and the marking of each place is given as a nested relation of the respective type. Secondly, insert and delete operations in a nested relational database are expressed by transitions in a net, and the arcs of a net are inscribed with filter tables, which allow conditions to be formulated on the specified tuples. Then, the occurrence rule for transitions is defined by the operations union and intersection lattices of nested relations. Finally, the model is demonstrated on an example of an information system for planning and controlling projects in an enterprise.