Journal of Applied Sciences ›› 2000, Vol. 18 ›› Issue (1): 42-46.

• Articles • Previous Articles     Next Articles

Process Semantics of Composition Nets

JIANG Chang-jun1,2,3,4, ZHU Ming-fa3,4, LI Guo-jie3,4   

  1. 1. Department of Computer Science & Engineering, Tongji University, Shanghai 200092, China;
    2. Institute of Computer Model & Algorithm, University of Shandong Science & Technology, Taian 271019, China;
    3. National Research Center for Intellent Computing System, Beijing 100080, China;
    4. Institute of Computer Technology, Chinese Academy of Science, Beijing 100080, China
  • Received:1998-10-29 Revised:1999-01-21 Online:2000-03-31 Published:2000-03-31

Abstract: In this paper, we study the process properties of Petri net synchronous composition nets and share composition nets. The projection of process semantics on the subsystems and its modelling characteristic on sequence semantics are discussed respectively. A group of the formulas of semantics relations are thus obtained. They will be used in the analysis and verification of concurrent systems.

Key words: process, property, behavior, Petri net

CLC Number: