|
|||||
|
|
| 反应式系统的并发模型（Ⅲ）——Petri网模型 | |
| 引用本文： | 张广泉.反应式系统的并发模型（Ⅲ）——Petri网模型[J].重庆师范学院学报,1998,15(4):27-30. |
| 作者姓名： | 张广泉 |
| 摘 要： | 基于文（２，３），引入反应式系统形式化描述的另一种典型模型－Ｐｅｔｒｉ网，给出一些重要性质的Ｐｅｔｒｉ网描述，建立了它与文（２）的抽象计算模型之间的映射关系，最后指出Ｐｅｔｒｉ网的一些不足之处。 |
| 关 键 词： | 反应式系统 Petri网 互斥 死锁 并发模型 |
| 本文献已被 维普 等数据库收录！ | |