Behavior Relativity of Petri Nets

This paper presents a novel methodology for modelling and analyzing ofbehavior relations of concurrent systems. The set of all firingsequences of a Petri net is an important tool for describing thedynamic behavior of concurrent systems. In this paper, thebehavior relativity of two concurrent subsystems in their synchronouscomposition is presented. Such behavior relativities, including ControlledRelativity, United Relativity, Interactive Relativity andExclusive Relativity, are defined respectively. The propertiesof the relativities are discussed in detail. The analysis method forthese properties is based on minimum T-invariants, when two subsystemsare live bounded Petri nets. A well-known example has also beenanalyaed using the new methodology to demonstrate the advantages of theproposed methodology.