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

摘要：

在(TS)<”*>SM结构活性充要条件的基础上,首先找到一种构造活的初始标识的方法并证明它的正确性。在此基础上,考虑了使用请求/应答机制(Request/Response mechanism)进行通信的网系统子类Request/Response(TS)<”*>SM的正确性规范以及无死锁性条件,并将其推广到更大的子类Recursively Request/Response(TS)<”*>SM。

关键词： 请求应答 异步通信 模块化Petri网 死锁 初始标识

作者: 黄小炜 陆维明

作者单位: 中国科学院数学与系统科学研究院 北京 100080

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 132-137,141

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）