General Purpose Functions

Due to colored marking of states, functions that refer to the marked languages of an MtcSystem require reimplementation.

MtcParallel

Parallel composition of two colored genertors.

Signature:

MtcParallel(+In+ MtcSystem G1, +In+ MtcSystem G2, +Out+ MtcSystem GRes)

MtcProject

Natural projection of colored languages.

Signature:

MtcProject(+In+ MtcSystem G, +In+ EventSet Sigma0, +Out+ MtcSystem GRes)

MtcInvProject

Inverse projection of colored languages.

Signature:

MtcInvProject(+InOut+ MtcSystem G0, +In+ EventSet Sigma)

MtcInvProject(+In+ MtcSystem G0, +In+ EventSet Sigma, +Out+ MtcSystem GRes)

MtcDeterministic

Powerset construction to enforce determinism incl. colored markings.

Signature:

MtcDeterministic(+In+ MtcSystem G, +Out+ MtcSystem GRes)

MtcStateMin

State spsce minimisation w.r.t. colored languages

Signature:

MtcStateMin(+In+ MtcSystem G, +Out+ MtcSystem GRes)

libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"