libFAUDES

PlugIns

Types

Functions

Parallel

Computes the parallel composition of two genertors.

Signature:

Parallel(+In+ Generator L1, +In+ Generator L2, +Out+ Generator LRes)

Detailed description:

Given two generators, this function computes a realisation of the parallel composition LRes = L1 || L2, i.e., shared events are synchronised while non-shared events are executed independantly. The resulting generators alphabet is the union of the argument alphabets.

Parameter Conditions:

In this implementation, only accessible states are generated. On deterministic input this functions constructs a deterministic output. The resulting generators controllability attributes are copied from the arguments. It is condidered an error if the controllability flags in the arguments dont match.

libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"