For the most recent entries see the
Petri Nets Newsletter.
Menasche, M.
-
Menasche, Miguel:
Understanding Sliding-Window Flow Control Protocols Through the Use of Colored Petri Nets.
2002.
-
Menasche, M.:
PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets.
1985.
-
Menasche, Miguel:
Introducao a Especificacao e Verificacao Formais de Protocolos de Comunicacao por Redes de Petri com Temporizacao.
1984.
-
Berthomieu, B.;
Menasche, M.:
An Enumerative Approach for Analyzing Time Petri Nets.
1983.
-
Menasche, M.;
Berthomieu, B.:
Time Petri Nets for Analyzing and Verifying Time Dependent Protocols.
1983.
-
Valette, R.;
Menasche, M.;
Latapie, G.:
Monitors Petri Nets and Error Confinement.
1980.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography