MuPSi- a multitouch Petri net simulator for transition steps

Abstract. Petri nets are very useful for modeling systems with concurrent behavior. There are many editors which support the creation of a Petri net and almost all editors offer the possibility of simulation, i.e. firing of transitions. Due to the limitation to possible user interaction using a conventional user interface having only one focus a concurrent firing of several transitions is not supported. In this paper a Petri net simulator (MuPSi) is presented, which supports the execution of transition steps, i.e. multisets of transitions, using a multitouch user interface. MuPSi enables concurrent execution of transitions in a single or multiuser environment. Simulation of transition steps helps to understand the concurrent behavior of a Petri net.