CSPM-FiringRules-0.4.4.0: Firing rules semantic of CSPM

Copyright(c) Fontaine 2010
LicenseBSD
Maintainerfontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

CSPM.FiringRules.EnumerateEvents

Description

Brute-force computation of all possible transitions of a process. Enumerates all events in Sigma.

Synopsis

Documentation

computeTransitions :: forall i. BL i => Sigma i -> Process i -> Search (Rule i) Source #

Compute all possible transitions (via an event from Sigma) for a process.

eventTransitions :: forall i. BL i => Sigma i -> Process i -> Search (RuleEvent i) Source #

tauTransitions :: forall i. BL i => Process i -> Search (RuleTau i) Source #

tickTransitions :: BL i => Process i -> Search (RuleTick i) Source #