Verification approach for compositional hierarchical time Petri-nets.

摘要

Although Petri nets (PNs) have for many years been applied as a formal model in which one could describe and analyze systems, it can be argued that they are not widely used in industrial-sized systems. The main reason for this can be attributed to a lack of compositionality which means that PNs were unable to deal with large complex or even midsized systems.; There are three primary objectives in this thesis: (1) Give a precise notion of composition and investigate, review existing approaches in compositionality area of Petri nets, offer an up-to-date detailed survey of these approaches, classify explicitly composition mechanisms. (2) Take advantage of recent developments and try to find an available approach among these various composition techniques for Petri nets with time extended systems. (3) Implement this compositional structure construction by textual or graphical editor in some software. (Abstract shortened by UMI.)