CSS

Notation :

We denote Sk = {T1T2……TN} a CSS, which represents all the possible

permutations of the transitions.

Accolades indicate that the order of firing is free.

SCC = {T1T2}

SCC1 = {T1} and SCC2 = {T2}

Complete Simulation Sequence: CSS

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica