On the finiteness of the reachability set for jumping Petri nets


Cristian Vidrascu


Abstract

creative_2008_17_3_538_543_abstract

Full PDF

creative_2008_17_3_538_543

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.

Additional Information

Author(s)

Vidrascu, Cristian