INTERNATIONAL JOURNAL OF INDUSTRIAL ENGINEERING-THEORY APPLICATIONS AND PRACTICE, vol.9, no.3, pp.238-247, 2002 (SCI-Expanded)
This paper integrates the modeling, behavioral analysis, performance evaluation and simulation of an automotive assembly system using Petri nets (PNs). The main intent is to put forward the problems encountered in the analysis, which point to flaws in the design. Ideas of system decomposition and modular composition are used. First, deterministic time is associated only with transitions and then, timed Petri nets of each module are converted into an equivalent time-marked graph which has important system properties including liveness, boundedness, and reversibility that guarantee the system to operate in a stable, deadlock-free, and cyclic manner. Then the system's performance is evaluated. Furthermore, simulation models of the modules and the integrated system are generated using the POSES++ software tool. The simulation provided a time-based diagnostic system to detect the problems during the execution of the actual system. The results obtained from this study can be used to modify the system's design to increase its efficiency.