Matakuliah
Tahun
Versi
: H0232/Sistem Waktu Nyata
: 2005
: 1/5
Pertemuan #7
Timed Petri Nets 2
1
Learning Outcomes
Pada akhir pertemuan ini, diharapkan mahasiswa
akan mampu :
• Menghasilkan timed petri net yang
merepresentasikan suatu sistem
2
Outline Materi
• A Process Control System
3
A Process Control System
• Description
4
A Process Control System
5
A Process Control System
6
A Process Control System
7
A Process Control System
• State 1
8
A Process Control System
• State 2
9
A Process Control System
• State 3
10
A Process Control System
• State 4
11
A Process Control System
• State 5
12