Matakuliah
Tahun
Versi
: H0232/Sistem Waktu Nyata
: 2005
: 1/5
Pertemuan #6
Timed Petri Nets 1
1
Learning Outcomes
Pada akhir pertemuan ini, diharapkan mahasiswa
akan mampu :
• Menghasilkan timed petri net yang
merepresentasikan suatu sistem
2
Outline Materi
• Different Approaches
• Basic Concepts
• A Part of an Auto-Pilot Example
3
Different Approaches
• Associating Time with Transitions
• Associating Time with Places
• Time Basic Nets
4
Basic Concepts
• Enabling of Transitions
• Firing Period
• Model of Execution
5
A Part of an Auto-Pilot Example
• Description
6
A Part of an Auto-Pilot Example
7
A Part of an Auto-Pilot Example
8
A Part of an Auto-Pilot Example
9