A modular synthesis approach for intelligent manufacturing system design: A Petri net based transformation method

Computerized Intelligent manufacturing systems are a well-known example of discrete event systems. Concurrency and asynchronous nature of these systems imply that solutions of classical control can´t be effective in this domain. Moreover, in real world manufacturing systems such as cable manufacturing systems design and analysis of the large scale system awards a new problem in automated design and diagnosis. Petri net as a high level graphical and formal specification language has the ability of modeling most of properties of these systems such as non-determinism, concurrency, mutual exclusion etc. They offer a solution both in modeling and verification of these systems. Furthermore, different Petri net transformation techniques grant a divide and conquer approach for large scale real world systems. This paper offers a modular hybrid model for designing a cable manufacturing systems and its verification. Giving well-behaved modules of system, this approach outputs a well-behaved system through some property preserving transformations without extra verification of the whole system. Finally, the model is able to be compiled into control codes and implemented in hardware to control procedure of system runs.