Cristian Vidrascu

This paper presents the notions of place and transition invariants for jumping Petri nets, and the results concerning invariants extended to them from classical Petri nets. Moreover, it presents some examples of systems modelled by jumping Petri nets and the verification of their properties using the invariant method.

Full Document (PS)

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",
    url = "https://publications.info.uaic.ro/technical-reports/archive/tr04-02-2004-invariants-and-verification-of-properties-for-jumping-petri-nets/"
}