August 9, 2012
Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea
August 26, 2012
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
You must be logged in to post a comment.