For the most recent entries see the
Petri Nets Newsletter.
Minichino, M.
-
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.
-
Bobbio, Andrea;
Ciancamerla, Ester;
Franceschinis, Giuliana;
Gaeta, Rossano;
Minichino, Michele;
Portinale, Luigi:
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.
2002.
-
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.
-
Minichino, M.;
Ciancamerla, E.;
Chiaradonna, S.;
Bondavalli, A.:
An Experience of Dependability Assessment of a Typical Industrial Safety Critical Programmable Logic Controller.
2000.
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