July 16, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Both on direct delete and on delete of parent August 13, 2013 Completed
Feedback when drawing new arcs from a clone
August 21, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Create a reset/inhibitor arc. Clone it. Expected: it looks like creating a new arc Actual: It looks like creating a standard arc August 12, 2013 Completed
Clone ConstraintArcs
August 20, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea August 8, 2013 Completed
Exception: ExnDuringExecution on evalution of CTL-formula
September 10, 2013 Mikhail shared this idea I’m trying to make a query on a state space. The idea is “if some situation happens in one state then later another situation must happen”. Simplified case is fun f1 n = (n=2); fun f2 n = (n=5); val myASKCTLformula = POS(AND(NF(“f1”, f1), EV(NF(“f2”, f2)))); eval_node myASKCTLformula 1; I expected false because 5-th state is not reachable […]
BendPoints on Declare constraints not being saved in CPN 4.0.0
December 13, 2013 Anonymous shared this idea When one adds BendPoints to Declare constraint arcs, these BendPoints are not saved in CPN 4.0.0. If one reloads the model, all bendpoints are gone and all arcs are drawn as straight lines. BendPoints on normal imperative arcs are being saved, however. So this is a bug in the Declare constraint arcs only. Tested in CPN 4.0.0 on […]
InternalError: Compile error when generating code
March 23, 2015 Daan de Wit shared this idea I get an InternalError when using the following arc inscription: (r, #4pr). See attached net for details internal_error_repro.zip
Clone ConstraintInscription
July 16, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Clone individually + clone along with transition August 8, 2013 Completed
Remove new inscriptions on delete of main element
March 27, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Delete a transition with constraint inscription or a node with external label ⇒ remove from graphics August 7, 2013 Completed
Delete constraints
July 16, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Related to (but not same as) Remove new inscriptions on delete of main element August 7, 2013 Completed
DCR does not work with non-interactive simulation
September 10, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Must generate automaton like Declare Planned
