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

–
0.18 Mb