| 时间约束Petri网的状态可达性分析算法 |
| |
| 引用本文： | 李慧芳,李人厚. 时间约束Petri网的状态可达性分析算法[J]. 系统工程与电子技术, 2000, 22(7): 75-77 |
| |
| 作者姓名： | 李慧芳 李人厚 |
| |
| 作者单位： | 西安交通大学系统工程研究所,710049 |
| |
| 摘 要： | 时间约束Petri网是具有广义时间约束的一类Petri网。时间约束的引入使TCPN′s的演化与系统每一时刻的状态都密切相关 ,导致网的动态复杂性。目前有关TCPN′s状态可达性的研究仅局限于一些较简单的网。进一步研究了TCPN′s,给出了更一般的可达性分析方法及变迁可调度决策算法。
|
| 关 键 词： | 时序控制 系统分析 决策技术 算法 |
| 修稿时间： | 1999-04-06 |
State Reachability Analysis Algorithm of Timing Constraint Petri Nets |
| |
| Li Huifang,Li Renhou. State Reachability Analysis Algorithm of Timing Constraint Petri Nets[J]. System Engineering and Electronics, 2000, 22(7): 75-77 |
| |
| Authors: | Li Huifang Li Renhou |
| |
| Abstract: | |
| |
| Keywords: | Sequential control Systems analysis Decision making technique Algorithm |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
