CSPM-FiringRules-0.3.0.3: Firing rules semantic of CSPM

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de

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