Matakuliah
Tahun
Versi
: H0232/Sistem Waktu Nyata
: 2005
: 1/5
Pertemuan #4
Petri Nets 1
1
Learning Outcomes
Pada akhir pertemuan ini, diharapkan mahasiswa
akan mampu :
• Menghasilkan petri net yang
merepresentasikan suatu sistem
2
Outline Materi
• Basic Concepts
• Modeling Systems
3
Basic Concepts
• Petri Nets as Graphs
• Marking Function
4
Modeling Systems
On Representation of Systems
• Places
• Transitions
• Inputs Arcs
• Output Arcs
• Tokens
• Firing or Execution
• Marking
• Initial Marking
• Change of Marking
5
Model of Execution
Model of Execution
• Concurrent
• Conflict
• Symmetric Conflict
• Asymmetric Conflict
6
Concurrent
7
Conflict
8
Symmetric Confusion
9
Asymmetric Confusion
10