IEEE - Institute of Electrical and Electronics Engineers, Inc. - Reachability analysis for a class of Petri nets

2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC)

Author(s): Yu Ru ; Hadjicostis, C.N.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2009
Conference Location: Shanghai, China, China
Conference Date: 15 December 2009
Page(s): 1,261 - 1,266
ISBN (CD): 978-1-4244-3872-3
ISBN (Paper): 978-1-4244-3871-6
ISSN (CD): 0191-2216
ISSN (Paper): 0191-2216
DOI: 10.1109/CDC.2009.5399850
Regular:

In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly) monotone Petri... View More

Advertisement