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