An Enumerative Approach for Analyzing Time Petri Nets. - Bernard Berthomieu; Miguel Menasche (IFIP Congress, 1983)

Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. - Miguel Menasche; Bernard Berthomieu (Protocol Specification, Testing, and Verification, 1983)

PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets. - Miguel Menasche (PNPM, 1985)