TR04-02 (2004) – Invariants and Verification of Properties for Jumping Petri Nets

Cristian Vidrascu

This paper presents the notions of place and transition invariantsfor jumping Petri nets, and the results concerning invariantsextended to them from classical Petri nets.Moreover, it presents some examples of systems modelled byjumping Petri nets and the verification of their propertiesusing the invariant method.

Bibtex

@TechReport{ivpjpn,
author = "Cristian Vidrascu",
title = "Invariants and Verification of Properties for Jumping Petri Nets",
institution = "``Al.I.Cuza'' University of Ia{c s}i, 
                 Faculty of Computer Science",
year = "2004",
number = "TR 04-02",
note = "URL:http://www.infoiasi.ro/~tr/tr.pl.cgi"
}