---

Verification of Distributed Controls based on IEC 61499

Verified Example

• synchronisation after the parallel execution of the wait and init algorithms
• modelling of the start button (every state appears twice with pressed and unpressed start button)

Zum Seitenanfang