Petri Nets 2017

News | Content | Dates | Grading | Material | Exercises | Exam | Contact

Exercises

Exercise sheet 7

• Exercise sheet | Solution
• Petri net of exercise 7.1: APT | LoLA | PIPE

Exercise sheet 6

• Exercise sheet | Solution
• Petri net of exercise 6.3: APT | LoLA | PIPE
• Python implementation for exercise 6.3b: tsys_liveness.py.

Exercise sheet 5

• Exercise sheet | Solution
• Petri net of exercise 5.1: APT | LoLA | PIPE
• Petri net of exercise 5.3: APT | LoLA | PIPE

Exercise sheet 4

• Exercise sheet | Solution
• Petri net of exercise 4.2: APT | LoLA | PIPE
• Petri net of exercise 4.3: APT | LoLA | PIPE

Exercise sheet 3

• Exercise sheet | Solution
• Petri net of exercise 3.1a: APT | LoLA | PIPE
• Petri net of exercise 3.1b-c: APT | LoLA | PIPE

Exercise sheet 2

• Exercise sheet | Solution
• Petri net of exercise 2.1c: APT | LoLA | PIPE
• Petri net of exercise 2.4: APT | LoLA | PIPE
• Petri net of exercise 2.5: APT | LoLA | PIPE

Exercise sheet 1

• Exercise sheet | Solution
• To install and use APT, LoLA and PIPE, read these instructions
• Complete Petri net for exercise 1.2: APT | LoLA
• Partial Petri net for exercise 1.2: APT | LoLA
• Petri net for exercise 1.3: PIPE

---

Past exercise sheets

Summer 2016

Exercise 6 (discussed on July 14)

• Exercise sheet
• Solution

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

Exercise 1 (discussed on April 21)

• Exercise sheet
• Solution
• Petri net for exercise 1.1 PIPE
• Petri net for exercise 1.2 (a) PIPE
• Petri net for exercise 1.2 (b) PIPE
• Petri net for exercise 1.4 PIPE
• Petri net for exercise 1.5 PIPE/ APT/ LoLA

Summer 2015

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