Petri Nets 2020 | ||

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.

#### Past exercise sheets

#### Summer 2019

##### 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 3

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

##### Exercise sheet 4

##### 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

##### Revision sheet

#### Summer 2018

##### Exercise sheet 7

##### 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

##### 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 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