TAPAAL is free software for modeling and verification of Petri nets
[ О приложении ]

TAPAAL is a tool for

- modelling, simulation and verification of

- Timed-Arc Petri nets

- developed at Department of Computer Science at AALborg University in Denmark

- and available for Linux, Windows and Mac OS X platforms.

Репозиторий: Snap