For the most recent entries see the
Petri Nets Newsletter
.
Keyword: real-time systems modeling and verification
Berthomieu, Bernard
;
Peres, Florent
;
Vernadat, François
:
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.
2006.
Berthomieu, Bernard
;
Vernadat, François
:
State Class Constructions for Branching Analysis of Time Petri Nets.
2003.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography