Petri Nets 2016 | ||
News | Dates | Grading | Content | Exercises | Material |
Exercises
Exercise 6 (discussed on July 14)
Exercise 5 (discussed on June 29)
- Exercise sheet
- Solution
- Petri net for exercise 5.3 PIPE/ APT/ LoLA
Exercise 4 (discussed on June 16)
- Exercise sheet
- Solution
- Petri net for exercise 4.1 PIPE/ APT/ LoLA
- Petri net for exercise 4.3 PIPE/ APT/ LoLA
Exercise 3 (discussed on June 2)
- Exercise sheet
- Solution
- Petri net for exercise 3.1 PIPE/ APT/ LoLA
- Petri net for exercise 3.4 PIPE/ APT/ LoLA
Exercise 2 (discussed on May 18 and 19)
- Exercise sheet
- Solution
- Petri net for exercise 2.1 (a) PIPE
- Petri net for exercise 2.1 (b) PIPE
- Petri nets for exercise 2.1 (c), different versions PIPE 1 PIPE 2 PIPE 3
- Petri net for exercise 2.2 PIPE/ APT/ LoLA
- Petri net for the solution exercise 2.4 PIPE/ APT/ LoLA
- Petri net for the solution of exercise 2.5 (a) PIPE/ APT/ LoLA
- Petri net for the solution of exercise 2.5 (b) PIPE/ APT/ LoLA
- Petri net for the solution of exercise 2.5 (c) PIPE/ APT/ LoLA
- Petri net for exercise 2.6 PIPE/ APT/ LoLA
- Inverted Petri net for exercise 2.6 PIPE
- Live, bounded, and not cyclic Petri net for exercise 1.8 PIPE/ APT/ LoLA