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