漳州师范学院计算机科学与工程系,福建,漳州,363000
纸质出版:2010
移动端阅览
岳昊. 自动制造系统Petri网模型的资源变迁网性质分析[J]. 微电子学与计算机, 2010, 27(8): 230-234.
YUE Hao. Property Analysis of the Resource-Transition Net of Petri Net Models for Automated Manufacturing Systems[J]. 2010, 27(8): 230-234.
岳昊. 自动制造系统Petri网模型的资源变迁网性质分析[J]. 微电子学与计算机, 2010, 27(8): 230-234. DOI:
YUE Hao. Property Analysis of the Resource-Transition Net of Petri Net Models for Automated Manufacturing Systems[J]. 2010, 27(8): 230-234. DOI:
资源变迁网N是自动制造系统Petri网模型的简化形式
在系统死锁的分析与控制中有重要作用.文中总结了资源变迁网的若干性质
并指出:对于任意一个非空资源子集R
若资源变迁网NR关于R的内连子网N=NR∪(.R ∩ R.)是强连通的
则一定存在以R为资源集的资源变迁回路
特别地
=
The resource-transition net (RTN) N is the reduction form of N
which is the Petri net model of an automated manufacturing system (AMS). Thus
N plays an important role in system deadlock analysis and control. After a couple of properties in resource-transition nets are summarized
conclusions are proposed as follows. If the inner sub-net N on R (where R is an arbitrary resource subset) of the RTN N is strongly connected
there must be a resource-transition circuit (RTC) with R as its resource set (such as =
0
浏览量
6
下载量
CSCD
关联资源
相关文章
相关作者
相关机构