Introducing MyPetri.net: A Petri Net Editor and Simulator for Students
This program is tentative and subject to change.
Petri nets are a powerful formalism for modeling and analyzing concurrent, distributed, and complex systems. However, extensions that enable greater representative capabilities (e.g., coloured Petri nets) include significant complexities beyond elementary Petri nets or even Turing complete Petri nets with inhibitor arcs. Currently, there is a lack of free and open-source Petri net tools that are both maintained and free of the complications of coloured Petri nets. In this paper we present a free and open-source Petri net editor and simulator, MyPetri.net, that provides a modern web-based editor for Petri nets and several modes of execution or simulation. While more complex editors offer formal verification methods, our approach introduces a unit testing–like framework that allows users to set and verify place values after execution, similar to traditional software testing. Finally, we present an informal discussion on the impact of the MyPetri.net tool in the classroom.
This program is tentative and subject to change.
Tue 7 OctDisplayed time zone: Eastern Time (US & Canada) change
10:30 - 12:00 | |||
10:30 30mTalk | Modeling the Full Stack: Frontend and Backend Generation with Extended Domain Models Educators Symposium | ||
11:00 30mTalk | Learning Software Modeling with Virtual Reality Educators Symposium Maryangela White Colorado State University, Jaya Surya Bontha Colorado State University, Sudipto Ghosh Colorado State University, USA, Marcia Moraes Colorado State University, Anne M. Cleary Colorado State University, Mohammed Safayet Arefin Colorado State University | ||
11:30 30mTalk | Introducing MyPetri.net: A Petri Net Editor and Simulator for Students Educators Symposium Joseph M. Vanliew Grand Valley State University, Erik Fredericks Grand Valley State University, Byron Devries Grand Valley State University |