Subclasses of Petri nets - Zemris
Subclasses of Petri nets - Zemris
Subclasses of Petri nets - Zemris
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
EE249: Design <strong>of</strong> Embedded System (corrections)<br />
ASV/LL<br />
Liveness<br />
• Liveness: from any marking any transition can<br />
become fireable<br />
– Liveness implies deadlock freedom, not viceversa<br />
Not live<br />
39<br />
Liveness<br />
• Liveness: from any marking any transition can<br />
become fireable<br />
– Liveness implies deadlock freedom, not viceversa<br />
Deadlock-free<br />
40<br />
20