Complete Simulation Sequence: CSS

Complete Simulation Sequence: CSS

To detect conflicts and to do a correct simulation,

T (Ei, M): the set of transitions that are receptive to Ei

for the marking M.

Definition : Complete Simulation Sequence

Sk is a Complete Simulation Sequence for Ei and for a marking Mj

if it verifies the 4 following conditions :

- Sk is only composed of transitions that are in T (Ei, M),

- Every transition of T (Ei, M) appears at more one time in Sk,

- Every sequence Sh obtained by permuting transitions of Sk is a CSS,

- it doesn't exist a longest sequence containing Sk and respecting

the 3 other conditions.

for every event occurrence: CSS

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica