PN机的行为相关性研究

This project presents a novel methodology for modelling and analysis of behavior relations of concurrent systems（such as Cluster Systems）. The set of all firing sequences of a Petri net is an important tool for describing the dynamic behavior of concurrent systems. In this research, we present the behavior relativity of two concurrent subsystems in their synchronous composition. Such behavior relativity, including Controlled Relativity, United Relativity, Interactive Relativity and Exclusive Relativity, is defined respectively. The properties of such Relativity are discussed in detail. Our analysis method for these properties is based on minimum T-invariants, when two subsystems are live bounded Petri nets. A well-known example has also been analysed using our new methodology to demonstrate the advantages of our methodology. The testing problem of legal firing sequence is NP-complete for general Petri net, the related results of this problem on the polynomial-time solvability limit only some special net class, such as persistent Petri nets, conflict-free Petri nets and state machine Petri nets. In this project, the language properties of synchronous composition net are discussed. Based on these results, the testing algorithm polynomial-time complexity for ledge firing sequence is proposed. Therefore, net classification of polynomial-time solvable for testing ledge firing sequence is extended. In addition, the prototyped tool of behavior analysis for concurrent systems has outlined based on PN machines theories.

基于PN机模型，归纳定义并发系统综合中反映动态行为关系的重要特性----行为相关性，它包括控制相关性、一致相关性、交互相关性和排斥相关性；揭示它们在并发系统综合中的物理现象；研究这些性质的代数特征和PN语言特征，给出简洁判据和有效算法；探讨各种相关意义下的序列观察与测试手段。为并发系统的行为分析与控制提供新的工具。