| 基于状态方程的Petri网可达性的扩展 |
| |
| 引用本文： | 沈继承,刘付显.基于状态方程的Petri网可达性的扩展[J].陕西师范大学学报,2007(Z2). |
| |
| 作者姓名： | 沈继承 刘付显 |
| |
| 作者单位： | 空军工程大学导弹学院 陕西三原713800 |
| |
| 摘 要： | 给出了两类典型的满足状态方程却不可达的Petri网.在理论分析的基础上,提出了"借、还资源法"和"借、还变迁法",较好地解决了满足状态方程但不可达的问题.使Petri网可达性得到一定的扩展,从而增强了Petri网对现实系统建模与仿真能力.
|
| 关 键 词： | Petri网 可达性 状态方程 |
The extension of reachability of Petri net based on state equation |
| |
| SHEN Ji-cheng,LIU Fu-xian.The extension of reachability of Petri net based on state equation[J].Journal of Shaanxi Normal University: Nat Sci Ed,2007(Z2). |
| |
| Authors: | SHEN Ji-cheng LIU Fu-xian |
| |
| Abstract: | This paper provides two typical unreachable models,which satisfy the state equation.To be able to deal with that special situation,two methods are given.One of then is to borrow and return resource(BRR),the other is to borrow and return transition(BRT).The methods extend the reachability of Petri net,so that the ability of Petri net in systematic modeling and simulating is strengthened. |
| |
| Keywords: | Petri net reachability state equation |
| 本文献已被 CNKI 等数据库收录！ |
