For the most recent entries see the
Petri Nets Newsletter.
Keyword: correctness verification
-
Bucci, G.;
Piovosi, R.;
Sassoli, L.;
Vicario, E.:
Introducing probability within state class analysis of dense-time-dependent systems.
2005.
-
Bucci, G.;
Sassoli, L.;
Vicario, E.:
Correctness verification and performance analysis of real time systems using stochastic preemptive Time Petri Nets.
2005.
-
Bucci, Giacomo;
Sassoli, Luigi;
Vicario, Enrico:
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.
2005.
-
Ajmone Marsan, M.;
Bianco, A.;
Ciminiera, L.;
Sisto, R.;
Valenzano, A.:
A LOTOS extension for the performance analysis of distributed systems.
1994.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography