Contact
Teaching
 |
 |
|
| Petri Nets 2015 | ||
 |
 |
| News | Dates | Grading | Content | Exercises | Material |
Exercise 1: April 16 (discussed on April 22 and 23)
- Exercise sheet
- Solution
- Petri net model for the action/reaction procotol for exercise 1.3 in PIPE/ APT/ LoLA
- Petri net for the scheduler in exercise 1.1(a) in PIPE/ APT/ LoLA
- Petri net for exercise 1.2 PIPE/ APT/ LoLA
- Petri net A for exercise 1.4 PIPE/ APT/ LoLA
- Petri net B for exercise 1.4 PIPE/ APT/ LoLA
- Petri net C for exercise 1.4 PIPE/ APT/ LoLA
- Live, bounded, and not cyclic Petri net for exercise 1.5 PIPE/ APT/ LoLA
- Additional slides from the tutorial session
Exercise 2: April 23 (discussed on May 13)
- Exercise sheet
- Solution
- Petri net for the solution of exercise 2.1 PIPE/ APT/ LoLA
- Petri net for exercise 2.2(a) PIPE/ APT/ LoLA
- Petri net for exercise 2.2(b) PIPE/ APT/ LoLA
- Petri net for exercise 2.2(c) with weights PIPE/ APT/ LoLA and without weights PIPE/ APT/ LoLA
- Petri net for exercise 2.2(d) with weights PIPE/ APT/ LoLA and without weights PIPE/ APT/ LoLA
- Petri net for exercise 2.3(a) PIPE/ APT/ LoLA
- Petri net for exercise 2.3(b) PIPE/ APT/ LoLA
- Petri net for exercise 2.3(c) PIPE/ APT/ LoLA
- Petri net for exercise 2.5 PIPE/ APT/ LoLA
Exercise 3: May 13 (discussed on May 21)
- Exercise sheet
- Solution
- Petri net for exercise 3.1 PIPE/ APT/ LoLA
- Petri net for the solution of exercise 3.2 PIPE/ APT/ LoLA
- Petri net for the solution of exercise 3.5 PIPE/ APT/ LoLA
Exercise 4: May 21 (discussed on May 28)
- Exercise sheet
- Solution
- Petri net for exercise 4.2 PIPE/ APT/ LoLA
- Petri net for the solution of exercise 4.3 PIPE/ APT/ LoLA
- Petri net for exercise 4.5 PIPE/ APT/ LoLA
Exercise 5: May 28 (discussed on June 11)
- Exercise sheet
- Solution
- Petri net for exercise 5.1 PIPE/ APT/ LoLA
- Petri net for exercise 5.3 PIPE/ APT/ LoLA
- Petri net for the solution of exercise 5.4b PIPE/ APT/ LoLA
Exercise 6: June 11 (discussed on June 18)
- Exercise sheet
- Solution
- Petri net for exercise 6.1 PIPE/ APT/ LoLA
- Petri net for exercise 6.5 PIPE/ APT/ LoLA
Exercise 7: June 18 (discussed on June 25)
- Exercise sheet
- Solution
- Petri net for exercise 7.2 PIPE/ APT/ LoLA
Exercise 8: June 25 (discussed on July 2)
- Exercise sheet
- Solution
- Petri net for the solution for exercise 8.3 PIPE/ APT/ LoLA