Published in Volume XIV, 2004, pages 91-99

Authors: Cristian VIDRASCU

Abstract

This paper presents a CREW (i.e., concurrent read exclusive write) processes system, modelled by a jumping Petri net, and proves some properties of the system.

Bibtex

@article{sacscuza:vidrascu2004mavwjpn,
  title={Modelling and Verification with Jumping Petri Nets.},
  author={Cristian VIDRASCU},
  journal={Scientific Annals of Computer Science},
  volume={14},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2004},
  pages={91--99},
  publisher={``A.I. Cuza'' University Press}
}