A Symbolic Reachability Graph for Coloured Petri Nets (1997)

Cached

Download Links

by G. Chiola , C. Dutheillet , G. Franceschinis , S. Haddad
Citations:23 - 6 self