Explicit Model Checking Engine for Reachability Analysis of Colored Petri Nets.

Emil Normann Brandt, Jens Emil Fink Hjriis, Kira Sthr Pedersen, Jir Srba

Browse the full ICTAC paper archive.