เทคนิคการออกแบบระบบ
4(4-0-12)
วิชาบังคับก่อน: ไม่มี
ระบบเหตุการณ์ไม่ต่อเนื่อง เทคนิคการสร้างและวิเคราะห์แบบจำลองของระบบเหตุการณ์ไม่ต่อเนื่องเพตริเนทและคุณสมบัติของเพตริเนทเทคนิคการสร้างและวิเคราะห์แบบจำลองของโปรโตคอลคัลเลอร์เพตริเนทเทคนิคการสร้างและวิเคราะห์แบบจำลองโดยใช้คัลเลอร์เพตริเนทการประยุกต์ใช้ในระบบแบบต่าง ๆ
เค้าโครงรายวิชา
1. ระบบเหตุการณ์ไม่ต่อเนื่อง (4 ชั่วโมง)
2. เทคนิคการสร้างและวิเคราะห์แบบจำลองของระบบเหตุการณ์ไม่ต่อเนื่อง (4 ชั่วโมง)
3. เพตริเนทและคุณสมบัติของพีตตริเนท (8 ชั่วโมง)
4. เทคนิคการสร้างและวิเคราะห์แบบจำลองของโปรโตคอล (8 ชั่วโมง)
5. คัลเลอร์พีตตริเนท (8 ชั่วโมง)
6. เทคนิคการสร้างและวิเคราะห์แบบจำลองโดยใช้คัลเลอร์พีตตริเนท (8 ชั่วโมง)
7. การประยุกต์ใช้ในระบบแบบต่าง ๆ (8 ชั่วโมง)
ผลสัมฤทธิ์การเรียนรู้
1. อธิบายโครงสร้างและแนวคิดของภาษาคัลเลอร์เพตริเนทที่ใช้ในการสร้างแบบจำลอง
2. อธิบายไวยากรณ์และวากยสัมพันธ์ของไทม์คัลเลอร์เพตริเนทแบบลำดับชั้น
3. กำหนดและอธิบายคุณสมบัติที่ใช้ทำความเข้าใจพฤติกรรมของระบบ
4. อธิบายแนวคิดและเทคนิคพื้นฐานเกี่ยวกับวิธีการวิเคราะห์ปริภูมิสถานะ
5. อธิบายแนวคิดและเทคนิคพื้นฐานเกี่ยวกับการจำลองเพื่อวิเคราะห์สมรรถนะ
System Design Techniques
Prerequisite: None
Discrete Event Systems (DES); techniques for modelling and analyzing DES; Petri nets and Petri Net properties; modelling and analysis with Petri nets; modelling and analysis of Communication protocols; Colored Petri Nets; modelling and analysis with Colored Petri Nets; Application to a variety of systems.
Course Outline
1. Discrete Event Systems (DES) (4 hours)
2. Techniques for modelling and analyzing DES (4 hours)
3. Petri nets and Petri Net properties (8 hours)
4. Modelling and analysis of Communication protocols (8 hours)
5. Colored Petri Nets (8 hours)
6. Modelling and analysis with Colored Petri Nets (8 hours)
7. Application to a variety of systems (8 hours)
Learning Outcomes
1. explain the construct and concept of the CPN modelling languages.
2. explain the syntax and semantics of hierarchical timed CPN.
3. define and explain properties used for characterizing the behavior of systems
4. explain the basic concept and techniques underlying state space analysis methods.
5. explain the basic concept and techniques underlying simulation-based performance analysis.