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