Inspec keywords: synchronisation; real-time systems; machine tools; formal verification; packaging; Petri nets; discrete event systems; standards; formal logic

Other keywords: formal verification; synchronisation logic; specification; multiaxis high-speed machines; industry standard IEC 1131; packaging machine; Petri net model; discrete event systems; hybrid control; real-time systems; sequential function charts

Subjects: Control applications to materials handling; Discrete control systems; Production management; Materials handling and distribution; Systems theory applications in industry; Combinatorial mathematics; Combinatorial mathematics; Systems theory applications; Formal logic; Packaging