Distributed Colored Petri Net Model-Checking with Cyclades.

Christophe Pajault, Jean-Franois Pradat-Peyre

Browse the full FMICS paper archive.