RO EN
T-invariants for jumping Petri nets
Authors: Cristian Vidrascu
Keywords: Parallel/distributed systems, Petri nets, jumping Petri nets, invariants, verification of properties.
– 0.18 Mb
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:
Faculty of Computer Science
"Al.I.Cuza" University of Iasi
16, Gen. Berthelot St.
6600 - Iasi, Romania
E-mail:
Fulltext
– 0.18 Mb
Contents
- Algorithms for minimum flows
- A sensitivity measure of the Pareto set in a vector linfnity-extreme combinatorial problem
- Extremal gaps in BP3-designs
- The Multiobjective Bottleneck Transportation Problem
- Genetic algorithms for the synthesis optimization of a set of irredundant diagnostic tests in the intelligent system
- T-invariants for jumping Petri nets
- Non-commutative computer algebra and molecular computing
- Ekaterina Logvinovna Yushchenko (a tribute in her memory)
