Anonymous
For complex QPN: a nice feature would be to be able to see animation of the PN or at least a reachability graph to check the QPN.
Hello, currently I developed and algorithm which is called QPN2GSPN which transform QPN to GSPN which could be animated in another tool. Best Regards
You seem to have CSS turned off. Please don't fill out this field.
Hello,
currently I developed and algorithm which is called QPN2GSPN which transform QPN to GSPN which could be animated in another tool.
Best Regards