[FV] ลงตัว CPN Tools

สำหรับ 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.