中文

Journal of Applied Sciences ›› 2000, Vol. 18 ›› Issue (3): 271-275.

• Articles • Previous Articles     Next Articles

Complete Sequence Behavior Invariance of Synchronous Composition Nets

JIANG Chang-jun1,2,3,4   

  1. 1. Department of Computer Science and Engineering, Tongji University, Shanghai 200092, China;
    2. Department of Computer Science and Engineering, University of Hefei Science and Technology, Hefei 230063, China;
    3. Institute of Computer Model and Algorithm, University of Shandong Science and Technology, Taian 271019, China;
    4. Institute of Software, The Chinese Academy of Sciences, Beijing 200050, China
  • Received:1999-09-24 Revised:2000-01-06 Online:2000-09-30 Published:2000-09-30

PDF

172

Cited

12

Abstract: The complete behavior invariance is defined. The concepts such as root isomorphism, etc. are introduced. A simple decision for the complete behavior invariance is given. Moreover, the roles of the complete behavior in preserving properties such as liveness and fairness and so on are studied. The conditions sufficient and necessary for preserving these properties under the complete behavior invariant are obtained.

Key words: Petri net, liveness, fairness, complete behavior invariance

CLC Number: