Upload presentasi
Presentasi sedang didownload. Silahkan tunggu
1
1 Pertemuan #9 Environment-Relationship Nets Matakuliah: H0232/Sistem Waktu Nyata Tahun: 2005 Versi: 1/5
2
2 Learning Outcomes Pada akhir pertemuan ini, diharapkan mahasiswa akan mampu : Menghasilkan environment-relationship nets pada suatu sistem
3
3 Outline Materi Structure Properties Process Control System Time ERN Strong and Weak TERN
4
4 Structure Environment Actions Transitions in ERN Definition of ERN Manipulation of the Marking Relation Model Execution
5
5 Example of an ERN
6
6 Properties of ERN Reachability Weak Boundedness Transition Liveness Net Liveness Environment Liveness
7
7 Time ERN Example
8
8 Strong and Weak TERN Strong TERN
9
9 Strong and Weak TERN Weak TERN
Presentasi serupa
