Tools Demonstration

Following tools will be demonstrated during the Petri Nets Conference:

Access/CPN Framework

http://wiki.daimi.au.dk/ascoveco/accesscpn.wiki

ASAP

http://www.daimi.au.dk/~ascoveco/index.html

CPNTools

http://www.daimi.au.dk/CPNTools

DSSZ-MC

http://www-dssz.informatik.tu-cottbus.de/

GreatSPN

http://www.di.unito.it/~greatspn/index.html

PDETool

http://pdel.iust.ac.ir/Projects/PDETool.html

ProM

http://www.processmining.org/

SNAKES

http://lacl.univ-paris12.fr/pommereau/soft/snakes/

VipTool

http://viptool.ku-eichstaett.de

Workcraft