02/17/11

These are some of the tools that we developed:

• ProM
• YAWL
• Woflan
• ExSpect
• XRL
• Logistic games based on CPN Tools

(Follow these links to download the software.)

These are additional tools that we frequently use:

• Protos (Pallas Athena)
• Websphere (IBM)
• COSA (COSA Solutions, Ley)
• InConcert (TIBCO)
• Staffware (Staffware PLC)
• ARIS PPM (IDS Scheer)
• FLOWer (Pallas Athena)
• CPN Tools (DAIMI)

For an introduction to Petri net modeling and execution, use the Petri net applet.

For more information on the tools we are using, see the WWW pages of the Laboratory for Quality Software (LaQuSo) and the Eindhoven Digital Laboratory for Business Processes (EDL-BP).