RO  EN
IMI/Publicaţii/CSJM/Ediţii/CSJM v.9, n.3 (27), 2001/

T-invariants for jumping Petri nets

Authors: Cristian Vidrascu
Keywords: Parallel/distributed systems, Petri nets, jumping Petri nets, invariants, verification of properties.

Abstract

This paper introduces the notions of T-invariants for the class of finite jumping Petri nets, and extends the results concerning T-invariants from classical Petri nets.

Cristian Vidrascu,
Faculty of Computer Science
"Al.I.Cuza" University of Iasi
16, Gen. Berthelot St.
6600 - Iasi, Romania
E-mail:

Fulltext

Adobe PDF document0.18 Mb