This paper presents a novel methodology for modelling and analyzing of behav-ior relations of concurrent systems. The set of all firing sequences of a Petri net is an importanttool for describing the dynamic behavior ...This paper presents a novel methodology for modelling and analyzing of behav-ior relations of concurrent systems. The set of all firing sequences of a Petri net is an importanttool for describing the dynamic behavior of concurrent systems. In this paper, the behaviorrelativity of two concurrent subsystems in their synchronous composition is presented. Such be-havior relativities, including Controlled Relativity, United Relativity, Interactive Relativity andExclusive Relativity, are defined respectively. The properties of the relativities are discussed indetail. The analysis method for these properties is based on minimum T-invariants, when twosubsystems are live bounded Petri nets. A well-known example has also been analyaed usingthe new methodology to demonstrate the advantages of the proposed methodology.展开更多
文摘This paper presents a novel methodology for modelling and analyzing of behav-ior relations of concurrent systems. The set of all firing sequences of a Petri net is an importanttool for describing the dynamic behavior of concurrent systems. In this paper, the behaviorrelativity of two concurrent subsystems in their synchronous composition is presented. Such be-havior relativities, including Controlled Relativity, United Relativity, Interactive Relativity andExclusive Relativity, are defined respectively. The properties of the relativities are discussed indetail. The analysis method for these properties is based on minimum T-invariants, when twosubsystems are live bounded Petri nets. A well-known example has also been analyaed usingthe new methodology to demonstrate the advantages of the proposed methodology.
