Scientific Annals of Computer Science

"Alexandru Ioan Cuza" University of Iaşi

On Coverability Structures for Jumping Petri Nets.

Published in Volume IX, 2000, p. 1-26, doi:

Authors: Cristian VIDRASCU, Toader JUCAN


The goal of this paper is to extend some concepts about coverability structures from the class of finite jumping Petri nets ({it FJPTN}) to a newly defined class of nets, called marked reduced-computable jumping Petri nets ({it mRCJPTN}). Moreover, we will point out how minimal coverability structures can be defined for jumping Petri nets as well.


© 2006-2019 FII | Contact: annals at