一个并发多进程应用系统的Petri网模型

摘要：

Ｐｅｔｒｉ网是定义和设计并发多过程系统的强有力工具，它既可以表示数据流，又可以表示控制流，通过建立一个并发多进程应用系统的Ｐｅｔｒｉ网模型，考察该系统的动态运行特性，改善系统设计，并有效避免了这类系统易产生的死锁现象。

关键词： 并发多进程 Ｐｅｔｒｉ网 可达树

作者: 夏凌

作者单位: 舰艇学院软件中心

会议类型: 国内会议

会议名称: 1998中国控制与决策学术年会

会议地点: 张家界

会议语种:中文

页码: 1199～1201

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