สำหรับ Blog นี้ หลังจากลอง Spin แบบมืนๆงงๆกันมาแล้ว คราวนี้มาลองลงตัว CPN Tools ซึ่งเป็นเครื่องมือสำหรับจัดการพวก Petri nets หรือ Colored Petri nets ครับ โดย Tools เป็นการพัฒนาด้วยภาษา Java ครับ มาเริ่มลงโปรแกรมกันดีกว่า
ขั้นตอนการลงโปรแกรม
- Download ตัวโปรแกรมมากันก่อนเลยครับ จาก http://cpntools.org
- สำหรับผมใช้ Windows ครับ กด Next ยาวๆไปครับ ดูรูปได้จาก Gallery ครับ
- ลองเปิดโปรแกรมดูครับ ถ้าไม่ขึ้นต้องลอง Set JAVA_HOME ครับ
- หลังจากเปิดขึ้นมาแล้ว
- ลองคลิกขวา New Page ดูครับ ถ้ามันมีฟ้อง firewall อะไร ก็กด Allow ตามรูปครับ
- ลองคลิกขวา เป็นเมนูแบบวงกลมครับ ผมเข้าใจว่ามันเพิ่งมามีใน Dev-Express แสดงว่ามันมีมาน่าจะหลายปีแล้วครับ
สำหรับการลง CPN Tools ดูลงง่ายกว่าการลง SPIN ในครั้งก่อนเยอะครับ หรือว่า Tools ที่จำเป็นบางตัวมันลงไปแล้วตอนลง Spin โดยโปรแกรมนี้เป็น GUI แล้ววาดพวก Graph ครับ น่าจะดูง่ายและเข้าใจง่ายนะครับ (ความเห็นก่อนเรียนจริง ฮ่าๆ)
Reference
Discover more from naiwaen@DebuggingSoft
Subscribe to get the latest posts sent to your email.