Behavior relativity of Petri nets

  • Authors:

  • Changjun Jiang;Huaiqing Wang;Shaoyi Liao

  • Affiliations:

  • Department of Computer Science and Engineering, Tongji University, Shanghai and University of Shandong Science and Technology, Shandong and The School of Information Science and Engineering, Ningb ...;Department of Information System, City University of Hong Kong, Kowloon, Hong Kong, P.R. China;Department of Information System, City University of Hong Kong, Kowloon, Hong Kong, P.R. China

  • Venue:
  • Journal of Computer Science and Technology
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a novel methodology for modelling and analyzing of behavior relations of concurrent 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 paper, the behavior relativity of two concurrent subsystems in their synchronous composition is presented. Such behavior relativities, including Controlled Relativity, United Relativity, Interactive Relativity and Exclusive Relativity, are defined respectively. The properties of the relativities are discussed in detail. The 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 analyaed using the new methodology to demonstrate the advantages of the proposed methodology.