16.01.2014 Views

Business Process Management WS 2012 Exercise 1 - IAAS

Business Process Management WS 2012 Exercise 1 - IAAS

Business Process Management WS 2012 Exercise 1 - IAAS

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

order, and in parallel he packages of the coins in an envelope. An envelope has a stamp on<br />

it, and is optionally insured. Finally, the envelope is sent over the post and new stamps are<br />

bought.<br />

Task 1.5<br />

Given is the following Petri net N:<br />

1. Identify one reachable marking in N as well as the transition sequence that is required to<br />

reach this marking.<br />

2. Identify one non-reachable marking. Explain why the marking is not reachable.<br />

3. Create a reachability graph for N.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!