用于实现异步通信的一种模块化Petri网  

A Modular Petri Net For The Asynchronous Communications

作　　者：黄小炜[1] 陆维明[1] 

机构地区：[1]中国科学院数学与系统科学研究院,北京100080

出　　处：《系统仿真学报》2007年第A01期132-137,141,共7页Journal of System Simulation

摘　　要：在(TS)*SM结构活性充要条件的基础上,首先找到一种构造活的初始标识的方法并证明它的正确性。在此基础上,考虑了使用请求/应答机制(Request/Response mechanism)进行通信的网系统子类Request/Response(TS)*SM的正确性规范以及无死锁性条件,并将其推广到更大的子类Recursively Request/Response(TS)*SM。Based on the sufficient and necessary condition of the structural liveness of （TS）＊ SM, in this paper, we will first try to retrieve a live marking of the structural live （TS）＊ SM, and then consider two more larger subclass of Petri Nets, named Request/Response （TS）＊SM and recursively Request/Response （TS）＊SM, through the adoption the Request/Response mechanism. We will also present their sufficient and necessary condition for the deadlock-freeness property.

关 键 词：请求/应答(Request/Response) 异步通信 模块化 死锁 PETRI网 

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