mtygesen / tapaal-gui Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tapaal/tapaal-gui
TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
Home Page: https://www.tapaal.net