For the most recent entries see the
Petri Nets Newsletter.
Mandrioli, D.
-
Di Marzo Serugendo, Giovanna;
Mandrioli, Dino;
Buchs, Didier;
Guelfi, Nicolas:
Real-Time Synchronised Petri Nets.
2002.
-
Di Marzo Serugendo, Giovanna;
Mandrioli, D.;
Buchs, D.;
Guelfi, N.:
Adding Real-Time Constraints to Synchronised Petri Nets.
2000.
-
Gargantini, A.;
Mandrioli, D.;
Morzenti, A.:
Dealing with zero-time transitions in axiom systems.
1999.
-
Felder, M.;
Mandrioli, D.;
Morzenti, A.:
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.
1994.
-
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.
-
Bologna, S.;
Pisacane, F.;
Ghezzi, G.;
Mandrioli, D.:
An Environment for Requirements Specification and Analysis of Real-time Software Based on Timed Petri Nets.
1988.
-
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.
-
Mandrioli, D.:
A Note on Petri Net Languages.
1977.
-
Crespi-Reghizzi, S.;
Mandrioli, D.:
Petri Nets and Szilard Languages.
1977.
-
Crespi-Reghizzi, S.;
Mandrioli, D.:
Commutative Grammars.
1976.
-
Crespi-Reghizzi, S.;
Mandrioli, D.:
Some Algebraic Properties of Petri Nets.
1976.
-
Crespi-Reghizzi, S.;
Mandrioli, D.:
A Decidability Theorem for a Class of Vector-addition Systems.
1975.
-
Crespi-Reghizzi, S.;
Mandrioli, D.:
Petri Nets and Commutative Grammars.
1974.
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