• Conference Object  

      Reachability analysis for a class of petri nets 

      Ru, Y.; Hadjicostis, Christoforos N. (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 ...