Welcome to the STSLib home page
STS (or Symbolic Transition Systems) are finite state machines providing guard, input/output and action features. The library provides some tools to define these machines, to compute the synchronous product and the configuration graph. These machines are executable thanks to a Java implementation of the rendezvous mechanism. |