|
|||||
|
|
| 等价标识在谓词/变迁网系统可达树规模缩减中的应用 | |
| 引用本文： | 刘悦.等价标识在谓词/变迁网系统可达树规模缩减中的应用[J].山东科技大学学报(自然科学版),1997(4). |
| 作者姓名： | 刘悦 |
| 基金项目： | 国家自然科学基金,煤炭科学基金 |
| 摘 要： | 本文通过对哲学家就餐问题的分析，对谓词／变迁网系统可达树规模的缩减问题进行了讨论，分析系统性质，给出等价标识，利用等价标识直接构成可达树，规模大幅度减小。 |
| 关 键 词： | 谓词／变迁网 可达树 等价标识 |
The Application of Equivalent Marking for Reducing the Scale of the Reachability Tree is Pr/T Net System |
|
| Institution: | Dept.of Appl Math and Software Eng. |
| Abstract: | |
| Keywords: | Predicate/Transition Petri Net reachability tree equivalent marking |
| 本文献已被 CNKI 等数据库收录！ | |