A sufficient condition for reachability in a general Petri net (Q702167)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2128548
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A sufficient condition for reachability in a general Petri net |
scientific article; zbMATH DE number 2128548 |
Statements
A sufficient condition for reachability in a general Petri net (English)
0 references
17 January 2005
0 references
A transformation procedure for converting a given Petri net into an acyclic Petri net with a given number of stages is considered. Next, using the results taken directly from the theory of Petri nets and algebraic methods, sufficient conditions for a suitably defined reachability property are formulated and proved. Simple illustrative examples are also presented. The utility of the transformed acyclic net in reachability investigations is also mentioned. Moreover, the paper contains many remarks and comments concerning reachability problems for discrete-time systems. Finally, it should be pointed out, that similar problems have been discussed in the reviewer's monograph [\textit{J. Klamka}, Controllability of dynamical systems (Mathematics and its Applications: East European Series 48, Kluwer Academic Publishers, Dordrecht) (1991; Zbl 0732.93008)].
0 references
Petri nets
0 references
reachability analysis
0 references
acyclic transformations
0 references
unfolding
0 references
net expansion
0 references
transition firing sequence
0 references
controllability
0 references
0.790290892124176
0 references
0.7889277935028076
0 references
0.7853406071662903
0 references
