Matakuliah
Tahun
Versi
: H0232/Sistem Waktu Nyata
: 2005
: 1/5
Pertemuan #5
Petri Nets 2
1
Learning Outcomes
Pada akhir pertemuan ini, diharapkan mahasiswa
akan mampu :
• Menghasilkan petri net yang
merepresentasikan suatu sistem
2
Outline Materi
• Examples
• Properties of Petri Nets
3
Examples
4
Concurrent
5
Conflict
6
Concurrent & Asymmetric
Confusion
7
A File Access Control Protocol
8
A Comunication Protocol
9
Properties of Petri Nets
•
•
•
•
•
Reachability
Boundedness and Safe Nets
Liveness
Persistence
Fairness
10