Finite Symbolic Reachability Graphs for High-Level Petri Nets.

Nabil Hameurlain, Christophe Sibertin-Blanc

Browse the full APSEC paper archive.