Framework for automatic generation of sequence of operations

A method for generating a sequence of operations for a manufacturing process, comprising:

• modeling within a control module said manufacturing process through a finite state machine to create a sequence of operations generator generating a list of sequences of operations for said manufacturing process, said modeling comprising:
• modeling automata describing behaviors of various components of said manufacturing process, said automata collectively describing the behavior of said manufacturing process through automata outputs;
• processing said automata outputs through prioritized synchronous composition to create a complete solution state set;
• reducing said complete solution state set to a conforming solution state set through a trim algorithm;
• extracting a marked language set from said conforming solution state set;
• and
• translating said marked language set into said list of sequences of operations;
• and
• utilizing said sequence of operations generator to input process information and automatically generate said list of sequences of operations.

A method for generation of a sequence of operations for a manufacturing process in a motor vehicle manufacturing facility, comprising:

• monitoring process information describing work elements that can be performed by a plurality of workstations within said manufacturing process;
• modeling within a control module said manufacturing process based upon said process information through a finite state machine to create a sequence of operations generator generating a list of sequences of operations comprising sequences of the work elements for the plurality of workstations for said manufacturing process;
• and
• utilizing said sequence of operations generator to input said process information and automatically generate said list of sequences of operations.

A method for generation of a sequence of operations for a manufacturing process in a motor vehicle manufacturing facility, comprising:

• modeling within a control module said manufacturing process through a finite state machine to create a sequence of operations generator for generating a list of sequences of operations for said manufacturing process, said modeling comprising:
• modeling automata describing behaviors of various components of said manufacturing process, said automata collectively describing the behavior of said manufacturing process through automata outputs;
• processing said automata outputs through prioritized synchronous composition to create a complete solution state set;
• reducing said complete solution state set to a conforming solution state set through a trim algorithm;
• extracting a marked language set from said conforming solution state set;
• and
• translating said marked language set into said list of sequences of operations;
• and
• utilizing said sequence of operations generator to input process information and automatically generate said list of sequences of operations.