search

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

Workarround for issue lp:2007676 #62

Closed yrke closed 1 year ago

yrke commented 1 year ago

Made product colors always be loaded after all non product colors to avoid issue where product color uses colors not loaded yet.