Adapting Petri Nets Reductions to Promela Specifications.

Christophe Pajault, Jean-Franois Pradat-Peyre, Pierre Rousseau

Browse the full FORTE paper archive.