Petri网连接过程中的行为关系  

THE BEHAVIOR RELATION IN CONNECTION PROCESS FOR THE PETRI NET MODEL

作　　者：蒋昌俊[1,2,3] 王怀清[4] 廖少毅[4] 

机构地区：[1]同济大学电子与信息工程学院 [2]合肥工业大学计算机与信息学院合肥230063 [3]山东矿业学院计算模型与算法研究所泰安271019 [4]香港城市大学资讯系统学系

出　　处：《自动化学报》2000年第1期100-104,共5页Acta Automatica Sinica

基　　金：国家自然科学基金;山东省优秀青年科学家基金;山东省自然科学基金;山东省计划资助项目

摘　　要：先前的Petri网模型的综合研究着重在性质的保持性方面,象活性、可达性和回归性.然而,系统行为关系的保持性研究应该更为重要.本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系,获得他们的语言关系公式,这些结果为Petri网模型综合过程中的动态行为分析提供了形式工具.Existing research on the synthesis of Petri net models focuses on preserving system properties,such as liveness,reachability,and reversibility.Such research overlooked the importance of system behavior relation preservation models.In this paper,we discuss three important connection operations:self loops,inhibitor arcs and synchronisation,in order to model system behavior characteristics.Their behavior relation formulas have been obtained by two transformations to these operations.Furthermore,we formally prove that these three connection operations satisfy the behavior invariance.These results support a formal tool for dynamic analysis of Petri net models in synthesis process.

关 键 词：PETRI网 行为 复杂系统 系统科学 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]