Subclasses of Petri nets - Zemris
Subclasses of Petri nets - Zemris
Subclasses of Petri nets - Zemris
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
EE249: Design <strong>of</strong> Embedded System (corrections)<br />
ASV/LL<br />
Boundedness<br />
• Boundedness: the number <strong>of</strong> tokens in any place<br />
cannot grow indefinitely<br />
– (1-bounded also called safe)<br />
– Application: places represent buffers and registers (check<br />
there is no overflow)<br />
Unbounded<br />
45<br />
Boundedness<br />
• Boundedness: the number <strong>of</strong> tokens in any place<br />
cannot grow indefinitely<br />
– (1-bounded also called safe)<br />
– Application: places represent buffers and registers (check<br />
there is no overflow)<br />
Unbounded<br />
46<br />
23