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

by Béatrice Bérard, Laurent Fribourg
Citations:41 - 4 self