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 />
Producer-Consumer with priority<br />
Consumer B can<br />
consume only if<br />
buffer A is empty<br />
Inhibitor arcs<br />
A<br />
B<br />
35<br />
PN properties<br />
• Behavioral: depend on the initial marking (most<br />
interesting)<br />
– Reachability<br />
– Boundedness<br />
– Schedulability<br />
– Liveness<br />
– Conservation<br />
• Structural: do not depend on the initial marking<br />
(<strong>of</strong>ten too restrictive)<br />
– Consistency<br />
– Structural boundedness<br />
36<br />
18