Petri nets implement a graphical environment, which allows for formal analysis of a system while providing a form of communication to the user that is easy to interpret
มุ้ง Petri ใช้สภาพแวดล้อมแบบกราฟิกที่ช่วยให้ สำหรับการวิเคราะห์อย่างเป็นทางการของระบบในขณะที่ให้รูปแบบของ การสื่อสารให้กับผู้ใช้ที่เป็นเรื่องง่ายที่จะตีความ