Proposal for Adding Useful Features to Petri-Net Model Checkers

Hubert Garavel

Solutions proposed for the longstanding problem of automatic decomposition of Petri nets into concurrent processes, as well as methods developed in Grenoble for the automatic conve…