When simulating timed CP-nets, the simulator also checks if stop criteria are fulfilled whenever model time is increased.

When the simulator discovers that a stop criterion has been fulfilled, the current simulation will be stopped, and the reason why the simulation has been stopped will be shown.

Breakpoint monitor fulfilled

If a breakpoint monitor is fulfilled after the Bind manually or Single Step tools have been applied, then the fact that the breakpoint monitor has been fulfilled will not be reported until the next time one of the simulation tools is applied in order to continue the simulation.

If the simulator indicates that one or more breakpoint monitors have been fulfilled, then the flag that the breakpoint monitors had set is reset, and the simulation may continue if one of the simulation tools is applied again.