For the most recent entries see the
Petri Nets Newsletter
.
Keyword: well definedness
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