Reachabillity analysis in T-invariant-less Petri nets

被引:32
作者
Kostin, AE [1 ]
机构
[1] Eastern Mediterranean Univ, Dept Comp Engn, Magusa KKTC, Turkey
关键词
Petri nets; reachability analysis; T-invariants;
D O I
10.1109/TAC.2003.812788
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
An algorithm for reachability analysis in place/transition Petri nets having no transition invariants (T-invariants) is proposed. Given a Petri net with initial and target markings, a so-called complemented Petri net is created first that consists of the given Petri net and an additional complementary transition. Thereby, the reachability task is reduced to computation and investigation of those minimal-support and linearly combined T-invariants of the complemented Petri net, in which the complementary transition fires only once. Then, for each T-invariant with a single firing of the complementary transition, the algorithm will try to create a reachability path from the given initial marking to the target marking.
引用
收藏
页码:1019 / 1024
页数:6
相关论文
共 14 条
[1]  
ALAIWAN H, 1985, TSI-TECH SCI INF, V4, P103
[2]  
BAUSE F, 1994, P 7 INT C COMP PERF, P321
[3]   ON FORBIDDEN STATE PROBLEMS FOR A CLASS OF CONTROLLED PETRI NETS [J].
BOEL, RK ;
BENNAOUM, L ;
VANBREUSEGEM, V .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (10) :1717-1731
[4]   GREATSPN-1.7 - GRAPHICAL EDITOR AND ANALYZER FOR TIMED AND STOCHASTIC PETRI NETS [J].
CHIOLA, G ;
FRANCESCHINIS, G ;
GAETA, R ;
RIBAUDO, M .
PERFORMANCE EVALUATION, 1995, 24 (1-2) :47-68
[5]  
COLOM JM, 1990, LECTURE NOTES COMPUT, V483, P79
[6]  
GERMAN R, 1995, PERFORM EVALUATION, V24, P69, DOI 10.1109/PNPM.1995.524333
[7]   A survey of Petri net methods for controlled discrete event systems [J].
Holloway, LE ;
Krogh, BH ;
Giua, A .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (02) :151-190
[8]   PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].
MURATA, T .
PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580
[9]  
Peterson J., 1981, PETRI NET THEORY MOD
[10]  
ROCH S, 2001, INA INTEGRATED NET A