Browsing by Subject "Algebraic conditions"
Now showing items 1-1 of 1
-
Conference Object
Reachability analysis for a class of petri nets
(2009)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 net, an initial marking ...