For the most recent entries see the
Petri Nets Newsletter.
Morasca, S.
-
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.
-
de Paoli, F.;
Morasca, S.:
Extending software complexity metrics to concurrent programs.
1990.
-
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.
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