Timed-CSP Simulator

Error message

Deprecated function: The each() function is deprecated. This message will be suppressed on further calls in menu_set_active_trail() (line 2375 of /compsci/partition2/csmarkus/public_html/ProcessesAndData/includes/menu.inc).

Timed CSP Simulator is a simulator for Timed CSP processes. It is an extension of the animator in ProB which offers the following key features:

  • Rational time points and progresses.
  • Separate implementation of firing rules.
  • Full support of timed operators.
  • Multiple modes of animations.

Timed Csp Simulator restricts processes to rational time only. We have proved that Timed Csp is closed under rational time, i.e., rational processes are closed under action transitions and rational delays. In practice, the limitation to rational time turns out to be negligible. For instance, all examples of Schneider’s book can be dealt with in our simulator.

Timed Csp Simulator can be download from here.

Manual can be download from here.