For the most recent entries see the
Petri Nets Newsletter
.
Keyword: time net
Berthomieu, B.
;
Diaz, M.
:
Modeling and Verification of Time Dependent Systems Using Time Petri Nets.
1991.
Ghezzi, C.
;
Mandrioli, D.
;
Morasca, S.
;
Pezzè, M.
:
A Unified High-Level Petri Net Formalism for Time-Critical Systems.
1991.
Andre, Charles
:
Synchronized Elementary Net Systems.
1990.
Popova-Zeugmann, Louchka
:
Zeit-Petri-Netze.
1987.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography