Mathematical and logical basis

The simulation is based on a combination of logical state machines and mathematical mappings of functions:

Level	Logic / Mathematics	Description
Logic layer (Selmo)	State machine	describes deterministic sequence
System layer (bit-control)	Binary logic / Boolean algebra	describes states and reactions of zones
Function layer (parameter / function)	Mathematical equations	describes the behavior within a state
CMZ / MXIC / Interlock	Rule-based logic	describes safety-oriented behavior
Physical models (optional)	Differential equations, empirical models, neural approximation	describes real reaction dynamics

Important: The PTF provides the logical structure and the boundary conditions – the simulation extends these with mathematical or empirical models.