Reduction rules for time Petri nets (1996)

by R H Sloan, U Buy
Venue:Acta Informatica