People who do a serious state space analysis will love this feature.
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.