Inspec keywords: synchronisation; real-time systems; machine tools; formal verification; packaging; Petri nets; discrete event systems; standards; formal logic
Other keywords:
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