The Petri net types presented in SEPIA build the foundation for the standalone Java
application Wolfgang. The tool allows fast creation, editing and “playing-back” of
P/T-Nets and CPNs. Originating from a process-oriented perspective, Wolfgang also
supports checking for typical net and workflow-specic properties in P/T-Nets and CPNs.