WebGME: Colored Petri Net Design Studio

Colored Petri Nets are a directed graph modeling approach utilized to reason about race conditions and deadlocks within concurrent systems. We present a Design Studio approach to develop, simulate, and analyze Colored Petri Nets. Our implementation consists of a modeling environment developed within WebGME and a series of Python plugins for the simulation and analysis of Colored Petri Nets. The target audience for this paper and tool are for those seeking to reason about deadlocks and race conditions within concurrent systems.