This program is tentative and subject to change.

Tue 7 Oct 2025 11:30 - 12:00 at CHS 540 - Session 2

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 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Session 2Educators Symposium at CHS 540

Hybrid

10:30
30m
Talk
Modeling the Full Stack: Frontend and Backend Generation with Extended Domain ModelsRemote
Educators Symposium
Gagandeep Singh McGill University, Gunter Mussbacher McGill University
11:00
30m
Talk
Learning Software Modeling with Virtual RealityIn Person
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
30m
Talk
Introducing MyPetri.net: A Petri Net Editor and Simulator for StudentsIn Person
Educators Symposium
Joseph M. Vanliew Grand Valley State University, Erik Fredericks Grand Valley State University, Byron Devries Grand Valley State University