Modelling Manufacturing Systems for Digital Twin Through Communicating Finite State Machines.
Lorenzo RagazziniElisa NegriLuca FumagalliPublished in: SOHOMA (2022)
Keyphrases
- manufacturing systems
- finite state machines
- petri net
- flexible manufacturing systems
- manufacturing processes
- quality control
- finite state automata
- complex systems
- model checking
- manufacturing environment
- shop floor
- digital circuits
- regular expressions
- holonic manufacturing systems
- control structure
- manufacturing cell
- production cost
- hidden markov models
- manufacturing process
- cell formation
- mutation testing