1 J. Campos E. Best J. Esparza 1991 Performance Analysis of Live and Bounded Free Choice Systems Studien GMD 198 38-48 9 http%3A%2F%2Fwebdiis.unizar.es%2FCRPetri%2Fpapers%2Fjcampos%2F91_C_DEMON.ps.gz