In this paper, we extend the decidability result concerning the finiteness of the reachability set of a net from classical Petri nets to jumping Petri nets.
Vidrascu, Cristian