บทนำสู่ Petri Net
เพทรีเน็ต เป็นแบบจำลองทางคณิตศาสตร์ที่ใช้อธิบายระบบจำกัด แบบจำลองทางคณิตศาสตร์ดังกล่าวใช้ในการตีความปัญหาในโลกแห่งความเป็นจริงในแง่ของสมการหรือเมทริกซ์
มันเป็นกราฟกำกับแบบสองฝ่าย (ประกอบด้วยโหนดสองประเภท: ในกรณีนี้ สถานที่ และการเปลี่ยนผ่าน) กราฟกำกับที่ประกอบด้วย สถานที่(วงกลม), การเปลี่ยนผ่าน (แถบหรือกล่องสี่เหลี่ยม), ส่วนโค้ง(ลูกศร) และ โทเค็น(จุด) .
สถานที่ใช้เพื่อกำหนดสถานะต่างๆ ของระบบ การเปลี่ยนแปลงแสดงถึงการกระทำ ลูกศรเชื่อมต่อสถานที่และการเปลี่ยนผ่าน และแสดงถึงการไหลของระบบ โทเค็นมีอยู่ภายในสถานที่และเริ่มทำงานเมื่อโหนดอินพุตทั้งหมดมีโทเค็น
แต่การยิงหมายถึงอะไร? โหนดอินพุตและเอาต์พุตคืออะไร
การยิงเป็นเพียงการถ่ายโอนโทเค็นจากที่หนึ่งไปยังอีกที่หนึ่ง และสังเกตได้จากโหนดการเปลี่ยนแปลง ซึ่งหมายความว่าแต่ละการเปลี่ยนแปลงจะมีชุดอินพุตและเอาต์พุตของตัวเอง โหนดอินพุตคือตำแหน่งที่มีโทเค็นซึ่งเป็นจุดเริ่มต้นการยิง และโหนดเอาต์พุตคือตำแหน่งที่โทเค็นเหล่านั้นจะถูกถ่ายโอนในที่สุด
มาดูตัวอย่างเพื่อทำความเข้าใจวิธีการทำงาน...
ตัวอย่างที่ 1: ตู้จำหน่ายสินค้าอัตโนมัติ
รัฐ/สถานที่สำหรับระบบนี้: ปุ่มเลือกเครื่องดื่ม (S1), เงินสำหรับเครื่องดื่ม (S2), การกำจัดเครื่องดื่ม (S3)
การเปลี่ยนแปลง: ตรวจสอบว่าผู้ใช้เลือกเครื่องดื่มและจัดเตรียมเงิน (T)
โทเค็น: โทเค็นหรือจุดปรากฏอยู่ภายใน S1 หากผู้ใช้เลือกเครื่องดื่ม และปรากฏภายใน S2 หากผู้ใช้ ได้ใส่เงินค่าเครื่องดื่มแล้ว
ตัวอย่างที่ 2: ฤดูกาลของปี
รัฐ/สถานที่สำหรับระบบนี้: ฤดูร้อน (S1), ฤดูใบไม้ร่วง/ฤดูใบไม้ร่วง (S2), ฤดูหนาว (S3), ฤดูใบไม้ผลิ (S4)
การเปลี่ยนแปลง: เปลี่ยนจาก ฤดูกาลหนึ่งไปยังอีกฤดูกาลหนึ่ง (T1, T2, T3, T4)
โทเค็น: นี่คือระบบแบบวนรอบและแต่ละสถานะจะขึ้นอยู่กับสถานะก่อนหน้า หากมีโทเค็นอยู่ใน S1 โทเค็นนั้นจะกลายเป็นสถานะเริ่มต้นของระบบโดยบอกเป็นนัยว่าฤดูกาลปัจจุบันคือฤดูร้อน
ขอขอบคุณที่อ่าน อย่ากลายเป็นหินโดย Petri Net เอ็กซ์ดี
