For the most recent entries see the
Petri Nets Newsletter
.
Keyword: self- stabilization
Yen, Hus-Chun
;
Yu, Lien-Po
:
Decidability analysis of self-stabilization for Infinite- State Systems.
2006.
Yen, Hsu-Chun
;
Yu, Lien-Po
:
Dependability Analysis of a Class of Probabilistic Petri Nets.
2004.
Johnen, Colette
;
Alari, Gianluigi
;
Beauquier, Joffroy
;
Datta, Ajoy K.
:
Self-Stabilizing Depth-First Token Passing on Rooted Networks.
1997.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography