On Coverability Structures for Jumping Petri Nets.

Published in Volume IX, 2000, pages 1-26

Authors: Cristian VIDRASCU, Toader JUCAN

Bibtex

@article{sacscuza:vidrascu2000ocsfjpn,
  title={On Coverability Structures for Jumping Petri Nets.},
  author={Cristian VIDRASCU and Toader JUCAN},
  journal={Scientific Annals of Computer Science},
  volume={110},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2000},
  pages={1--26},
  publisher={``A.I. Cuza'' University Press}
}