A Sufficient Condition for Reachability in a General Petri Net

被引：0
|
作者：
Parthasarathy Ramachandran
Manjunath Kamath
机构：
[1] Indian Institute of Technology Kanpur,Department of Industrial and Management Engineering
[2] Oklahoma State University,School of Industrial Engineering and Management
来源：
Discrete Event Dynamic Systems | 2004年 / 14卷
关键词：
Petri nets; reachability analysis; acyclic transformations; unfolding; net expansion; transition firing sequence;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Necessary and sufficient conditions for reachability exist only for special classes of Petri nets, acyclic Petri nets being one among them. We present a net transformation procedure that converts a general Petri net into an acyclic Petri net to utilize the available sufficient condition. We show the relationship between the reachable markings of the original Petri net and the associated acyclic Petri net. Given a firing count vector, we discuss how the sufficient condition for reachability in an acyclic Petri net could be utilized for a general Petri net. We also discuss the utility of the acyclic transformed net in determining the transition firing sequences of the reachable markings with known firing count vectors.
引用
收藏
页码：251 / 266
页数：15
相关论文
共 50 条
12345