Petri net models applied to analyze automatic sequential pressing systems

In order to reduce the set-up cost, an automatic sequential press system for analyzing the performance and execution time of jobs based on Petri nets is studied. The operation processing control program is designed using Petri nets. According to the given logic specifications, sequential controlling synchronizes and coordinates the operations of various control units in the press manufacturing system. All operation steps for possibly causal fault are considered using the reachability tree of the Petri net and the expected reduction of the set-up time to fulfil zero inventory policy are also deduced in this paper.