For the most recent entries see the
Petri Nets Newsletter.
Sassoli, L.
-
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.
-
Bucci, Giacomo;
Fedeli, Andrea;
Sassoli, Luigi;
Vicario, Enrico:
Timed State Space Analysis of Real-Time Preemptive Systems.
2004.
-
Bucci, G.;
Sassoli, L.;
Vicario, E.:
A discrete time model for performance evaluation and correctness verification of real time systems.
2003.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography