หลังจากเรียนทฤษฏีแล้ว ลงโปรแกรม แล้ว อ ให้ลองปฏิบัติจริงครับ โดยการลองใช้ตัว CPN มาเขียน Coloured Petri net ตาม Workshop แต่ละข้อครับ
เกริ่นนำ Coloured Petri net
ตัว Petri net เป็นการ Modeling(จำลอง) ระบบขึ้นมา เพื่อตรวจสอบเรื่อง Concurrent ครับ
ส่วนประกอบ
- Place
- Transition
- Token
- Arc
Workshop ที่ทำกันครับ
- Dinner philosopher
- Simple Protocal
- Order Online
ปัญหาที่เจอ
- หลักๆที่เจอเลย คือ ว่า Notebook ผมใช้ตัว CPN Tools เวอร์ชั่นล่าสุดไม่ได้ครับ
- เวอร์ชั่น 4.x ปัญหา Simulation ไม่ได้ โดยสาเหตุ อาจจะเกิดจากใช้ตัว Java แบบ 64 ฺbits แต่ตอนนั้นยังไม่อยากเสี่ยงเอา Java ออกเดี๋ยวกระทบกับงานเลยใช้ CPN Tools
- เวอร์ชั่น 3.40 แต่จะมีปัญหาการ Generate State Space แล้วออก Report ครับ แต่ Simulation ได้ ผมเลยใช้เวอร์ชั่นนี้ทำ Workshop ครับ
Discover more from naiwaen@DebuggingSoft
Subscribe to get the latest posts sent to your email.