On Probabilistic Diagnosis for Free-Choice Petri Nets.

Jana Flochova, Ren K. Boel, George Jiroveanu

Browse the full ACC paper archive.