For the most recent entries see the
Petri Nets Newsletter.
Tronci, E.
-
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.
-
Gribaudo, Marco;
Horváth, A.;
Bobbio, A.;
Tronci, Enrico;
Ciancamerla, Ester;
Minichino, Michele:
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography