Behavior relativity of petri nets
Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review
Author(s)
Related Research Unit(s)
Detail(s)
| Original language | English |
|---|---|
| Pages (from-to) | 770-780 |
| Journal / Publication | Journal of Computer Science and Technology |
| Volume | 17 |
| Issue number | 6 |
| Publication status | Published - Nov 2002 |
Link(s)
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 behaviour 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 analyzed using the new methodology to demonstrate the advantages of the proposed methodology.
Research Area(s)
- Behaviour relativity, Firing sequence, Petri net, Synchronous composition, System analysis
Citation Format(s)
Behavior relativity of petri nets. / Jiang, Changjun; Wang, Huaiqing; Liao, Shaoyi.
In: Journal of Computer Science and Technology, Vol. 17, No. 6, 11.2002, p. 770-780.Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review
