GRAFCET and Petri Nets Outline Introduction GRAFCET - EPFL
GRAFCET and Petri Nets Outline Introduction GRAFCET - EPFL
GRAFCET and Petri Nets Outline Introduction GRAFCET - EPFL
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Structure approach<br />
Analysis by reduction<br />
We only use blocks that have good properties<br />
p k<br />
t i<br />
Sequence simplification<br />
Eliminate sequences of places<br />
Concatenate parallel paths<br />
Suppress identity transitions<br />
t j<br />
SEQUENCE<br />
IF THEN ELSE<br />
WHILE DO<br />
ORIGINAL PROPERTIES MUST BE<br />
PRESERVED<br />
Real-Time Programming <strong>GRAFCET</strong> <strong>and</strong> <strong>Petri</strong> nets 121<br />
© J.-D. Decotignie, 2007<br />
Real-Time Programming <strong>GRAFCET</strong> <strong>and</strong> <strong>Petri</strong> nets 122<br />
© J.-D. Decotignie, 2007<br />
Analysis by reduction (2)<br />
Reduction techniques<br />
p 1<br />
Preserving boundedness <strong>and</strong> liveness properties<br />
p 1<br />
R1: place substitution<br />
p 1<br />
R2: implicit place<br />
p 2<br />
p 2<br />
R3: neutral transition<br />
R4: identical transitions<br />
Preserving invariants<br />
p 1<br />
Ra: non pure transition for ordinary PN<br />
p 1<br />
p 1<br />
Rb: pure transition for ordinary PN<br />
Real-Time Programming <strong>GRAFCET</strong> <strong>and</strong> <strong>Petri</strong> nets 123<br />
© J.-D. Decotignie, 2007<br />
Real-Time Programming <strong>GRAFCET</strong> <strong>and</strong> <strong>Petri</strong> nets 124<br />
© J.-D. Decotignie, 2007