For the most recent entries see the
Petri Nets Newsletter.
Ghezzi, C.
-
Ghezzi, C.;
Mandrioli, D.;
Morasca, S.;
Pezzè, M.:
A Unified High-Level Petri Net Formalism for Time-Critical Systems.
1991.
-
Ghezzi, Carlo;
Mandrioli, Dino;
Morasca, Sandro;
Pezzè, Mauro:
Symbolic Execution of Concurrent Programs Using Petri Nets.
1989.
-
Ghezzi, Carlo;
Mandrioli, Dino;
Morasca, Sandro;
Pezzè, Mauro:
Symbolic Execution of Concurrent Systems Using Petri Nets.
1989.
-
Ghezzi, Carlo;
Mandrioli, Dino;
Morasca, Sandro;
Pezzè, Mauro:
A General Way to Put Time into Petri Nets.
1989.
-
Ghezzi, C.;
Mandrioli, D.:
On Eclecticism in Specifications: A Case Study Centered Around Petri Nets.
1987.
-
Ghezzi, C.;
Mandrioli, D.;
Pezzè, M.:
Petri Nets as a Support to Symbolic Execution of Concurrent ADA Programs.
1987.
-
Mandrioli, D.;
Zicari, R.;
Ghezzi, C.;
Tisato, F.:
Modeling the ADA Task System by Petri Nets.
1985.
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