August 9, 2012

Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea

August 26, 2012

WilBur commented

People who do a serious state space analysis will love this feature.

March 7, 2013

Bruno Pinna commented

If the implementation of ASAP into CPN Tools GUI is difficult, is a good idea to have a manual/guide to discover how interact with the different function/functors of ASAP. I’ve tried to do some Model Checking analysis with an LTL formulae but I can’t say that it works. I think that we are capable to do a Model Checking analysis with CPN Tools and ASAP but without manual or explication the whole potential of ASAP is only for crazy tester. If we can dimostrate that with ASAP is possible to made a model checking analysis CPN tools can replace different software in dependability assessment.

September 5, 2013

Under review

Implements a display with a clock for execution time
Integrate BTL and/or Grade/CPN student tester in CPN Tools GUI

You must be logged in to post a comment.