Miguel Menasche

PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets

Miguel Menasche, Miguel Menasche, 1985, Petri Nets and Performance Models.

An Enumerative Approach for Analyzing Time Petri Nets

Bernard Berthomieu, Miguel Menasche, B. Berthomieu, 1983, IFIP Congress.

Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols

Bernard Berthomieu, Miguel Menasche, 1983, Protocol Specification, Testing, and Verification.