| 自动制造系统Petri网模型的一类子网极小信标的计算 |
| |
| 引用本文： | 宁凡,王寿光. 自动制造系统Petri网模型的一类子网极小信标的计算[J]. 科技通报, 2014, 0(9) |
| |
| 作者姓名： | 宁凡 王寿光 |
| |
| 作者单位： | 1. 杭州职业技术学院信息电子系,杭州,310018
2. 浙江工商大学信息与电子工程学院,杭州,310018 |
| |
| 基金项目： | 访问学者期间课题《柔性自动制造系统死锁问题研究》。 |
| |
| 摘 要： | 作为Petri网的一个结构性目标,信标在柔性制造系统死锁控制理论中起着关键的作用。基于Petri网图论和信标的定义,针对Petri的一类子网S4PR网,提出了一种极小信标的计算方法。首先找出S4PR网的初始资源图,然后根据初始资源图找到所有的资源子图,对应每一个资源子图计算其对应的信标,最后根据极小信标的定义对得到的信标进行判断,删除非极小信标即得到所有的极小信标。给出一个S4PR网的例子解释提出的计算方法的应用,和传统的极小信标的计算方法比较,该计算方法可以节约计算时间,另外该算法可以用于任意规模的S4PR网的极小信标的计算。
|
| 关 键 词： | Petri网 S网 初始资源图 极小信标 |
A Calculation Method of Subnet Minimal Siphons Based on Automated Manufacturing System Petri Net |
| |
| Ning Fan,Wang Shouguang. A Calculation Method of Subnet Minimal Siphons Based on Automated Manufacturing System Petri Net[J]. Bulletin of Science and Technology, 2014, 0(9) |
| |
| Authors: | Ning Fan Wang Shouguang |
| |
| Abstract: | |
| |
| Keywords: | Petri net S4PR net initial resource digraph minimal siphon |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
