Page 286 -

268 10 Tool Support

Fig. 10.5 Screenshot of ProM 6 showing the WF-net discovered by the α-algorithm after selecting
the corresponding plug-in in Fig. 10.4

Fig. 10.6 Social network miner (based on handover of work) in ProM 6 (see Sect. 8.3.1)

S-components, T-components, traps, siphons, TP- and PT-handles, etc. The plug-in
“Analyze behavioral properties of a Petri net” computes unbounded places, dead
transitions, dead markings, home markings, coverability graphs, etc. The “Woflan”
plug-in checks the soundness of WF-nets (cf. Sect. 2.2.3)[121]. Moreover, powerful
Petri-net-based analysis tools such as LoLa, Wendy, Uma, and Petrify are embedded
in ProM as plug-ins. For example, Wendy can be used to generate an operating
guideline for a service expressed in terms of a Petri net, and Uma can be used to
unfold a Petri net. Nevertheless, there are still several advanced plug-ins supported