TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
3
stars
11
forks
source link
Erlang and gamma not working for larger shapes - fix 2081337 #178
Closed
mtygesen closed 3 weeks ago
Fixes: https://bugs.launchpad.net/tapaal/+bug/2081337
additionally also allows for bigger shapes in gamma distribution, and added check if scale > 0