Updated ids of variables in CPNs to correspond with transition names

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

https://www.tapaal.net

3 stars 11 forks source link

Closed srba closed 8 months ago

srba commented 8 months ago

fixed all CPN examples so that ids of variables are equal to the variable names