Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic.

Batrice Brard, Laurent Fribourg

Browse the full CONCUR paper archive.