Algebraic system analysis of timed Petri nets. (1995)

by G Cohen, S Gaubert, J P Quadrat
Venue:Idempotency, Publications of the Newton Institute.