Petri Nets 2019

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

Exercises

Exercises are voluntary and do not account for the final grades. Submitted exercises will be corrected and handed back. It is highly recommended to work on the exercises, as this is the best preparation for the exam.

Exercise sheet 1

• Exercise sheet | Solution
• Partial Petri net for exercise 1.2: APT | LoLA
• Complete Petri net for exercise 1.2: APT | LoLA
• Petri nets of exercise 1.3: first (PIPE), second (PIPE), third (PIPE)
• To install and use APT, LoLA and PIPE, read these instructions

Exercise sheet 2

• Exercise sheet | Solution

Exercise sheet 3

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

Exercise sheet 4

• Exercise sheet | Solution

Exercise sheet 5

• Exercise sheet | Solution
• Petri net for exercise 5.1: APT | LoLA
• Petri net for exercise 5.4: APT | LoLA

Exercise sheet 6

• Exercise sheet | Solution

Revision sheet

• Revision sheet | Solution

---

Past exercise sheets

Summer 2018

Exercise sheet 7

• Exercise sheet | Solution

Exercise sheet 6

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

Exercise sheet 5

• Exercise sheet | Solution
• Files for Z3: instructions | partial solution | complete solution
• Petri net of exercise 5.1: APT | LoLA | PIPE
• Petri net of exercise 5.2: 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.1: APT | LoLA | PIPE
• Petri net of exercise 3.2a: APT | LoLA | PIPE
• Petri net of exercise 3.2b: 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

Exercise sheet 1

• Exercise sheet | Solution
• Petri nets of exercise 2.3: first (PIPE), second (PIPE), third (PIPE)
• Complete Petri net for exercise 1.2: APT | LoLA
• Partial Petri net for exercise 1.2: APT | LoLA
• To install and use APT, LoLA and PIPE, read these instructions

Summer 2017

Exercise sheet 7

• 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

• 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

• 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

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