Pezzè, M.

• Baresi, Luciano; Pezzè, Mauro:
  Formal interpreters for diagram notations. 2005.

• Denaro, Giovanni; Pezzè, Mauro:
  Petri Nets and Software Engineering. 2004.

• Baresi, L.; Pezzè, M.:
  On Formalizing UML with High-Level Petri Nets. 2001.

• Morasca, S.; Pezzè, M.; Trubian, M.:
  Timed High-Level Nets. 1991.

• Ghezzi, C.; Mandrioli, D.; Morasca, S.; Pezzè, M.:
  A Unified High-Level Petri Net Formalism for Time-Critical Systems. 1991.

• Morasca, S.; Pezzè, M.:
  Using High-Level Petri Nets for Testing Concurrent and Real-Time Systems. 1990.

• 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.

• Morasca, S.; Pezzè, M.:
  The Rationale of an Environment for Real-Time Software. 1989.

• Morasca, Sandro; Pezzè, Mauro:
  Validation of Concurrent Ada Programs Using Symbolic Execution. 1989.

• Ghezzi, Carlo; Mandrioli, Dino; Morasca, Sandro; Pezzè, Mauro:
  A General Way to Put Time into Petri Nets. 1989.

• Ghezzi, C.; Mandrioli, D.; Pezzè, M.:
  Petri Nets as a Support to Symbolic Execution of Concurrent ADA Programs. 1987.

Back to the Petri Nets Bibliography