17/3/2014
75
Live-ness?
*Preservation of flow-equivalence:

all the generated traces are equivalent
*
*Are all traces generated ?
(Is the marked graph live ?)

Not always !
CE-653 - De-Synchronisation Methodology