For the most recent entries see the
Petri Nets Newsletter.
Keyword: real-time reactive systems
-
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.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography