For the most recent entries see the
Petri Nets Newsletter.
Keyword: hybrid automata
-
Gribaudo, M.;
Horváth, A.;
Bobbio, Andrea;
Tronci, E.;
Ciancamerla, E.;
Minichino, M.:
Fluid Petri Nets and hybrid model-checking: a comparative case study.
2003.
-
Erden, Zuhal;
Erden, Abdulkadir;
Erkmen, Aydan M.:
A Petri net approach to behavioural simulation of design artefacts with application to mechatronic design.
2003.
-
Balduzzi, Fabio;
Di Febbraro, Angela;
Giua, Alessandro;
Seatzu, Carla:
Decidability results in first-order hybrid Petri nets.
2001.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography