der Aalst. Interval timed coloured Petri nets and their analysis (1993)

by W M P van
Venue:Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science