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 />
Coverability Tree<br />
• Boundedness is decidable<br />
with coverability tree<br />
t2<br />
p1 t1 p2 p3<br />
t3<br />
p4<br />
1000<br />
t1<br />
0100<br />
t3<br />
0011<br />
t2<br />
0101<br />
63<br />
Coverability Tree<br />
• Boundedness is decidable<br />
with coverability tree<br />
t2<br />
p1 t1 p2 p3<br />
t3<br />
p4<br />
1000<br />
t1<br />
0100<br />
t3<br />
0011<br />
t2<br />
010ω<br />
Cannot solve the reachability and liveness problems<br />
64<br />
32