MRTCCSL

This package contains libraries implementing MRTCCSL language and its Stochastic extension.

Library `mrtccsl`

Mrtccsl MRTCCSL definitions and language-specific algorithms.

Library `mrtccslparsing`

Mrtccslparsing Parser for MRTCCSL language.

Library `causeEffect`

CauseEffect Cause-Effect network definitions and traversal.

Library `STS`

STS Symbolic Transition System definition and solving.

Library `common`

Common Common (re)definitions for rest of the package.