Bernard Berthomieu Miguel Menasche An Enumerative Approach for Analyzing Time Petri Nets. 41-46 1983 IFIP Congress db/conf/ifip/ifip83.html#BerthomieuM83