Behavior Relativity of Petri Nets

作     者：蒋昌俊 王怀清 廖少毅 

作者机构：Department of Computer Science and Engineering Tongji University Shanghai 200092 P.R. ChinaThe School of Information Science and Engineering Ningbo University Ningbo 315211 P.R. ChinaDepartment of Computer Science and Technology University of Sha Department of Information System City University of Hong Kong Kowloon Hong Kong P.R. China 

出 版 物：《Journal of Computer Science & Technology》 (计算机科学技术学报（英文版）)

年 卷 期：2002年第17卷第6期

页      面：770-780页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金 国家重点基础研究发展计划(973计划) 国家高技术研究发展计划(863计划) 高等学校全国优秀博士学位论文作者专项基金 山东省优秀中青年科学家科研奖励基金 

主　　题：Petri网 行为相对性 系统分析 

摘      要：This paper presents a novel methodology for modelling and analyzing of behav-ior relations of concurrent systems. The set of all firing sequences of a Petri net is an importanttool for describing the dynamic behavior of concurrent systems. In this paper, the behaviorrelativity of two concurrent subsystems in their synchronous composition is presented. Such be-havior relativities, including Controlled Relativity, United Relativity, Interactive Relativity andExclusive Relativity, are defined respectively. The properties of the relativities are discussed indetail. The analysis method for these properties is based on minimum T-invariants, when twosubsystems are live bounded Petri nets. A well-known example has also been analyaed usingthe new methodology to demonstrate the advantages of the proposed methodology.