Efficient Timing Analysis of a Class of Petri Nets.

Henrik Hulgaard, Steven M. Burns

Browse the full CAV paper archive.