Modeling a die bonder with petri nets: A case study (1998) [2 citations — 1 self]
|
Abstract:
The process of designing complex manufacturing machines involes problems of interdisciplinary communication, design space exploration as well as design evaluation and analysis that can best be solved by integrating modeling and simulation stages into the development process. Requirements necessary for a modeling environment are: support for hierarchical and modular structuring, module reuse, configurability of the model, excutability of the model with a notion of time, and intuitive usability. The CodeSign object-oriented, temporal Petri net formalism with its associated tool is a modeling and simulation environment to meet those requirements. A case study conducted in an industrial setting is described that 1 demonstrates the applicability of the CodeSign approach to the modeling of semiconductor manufacturing equipment with step-wise refinement. Results are given to show the accuracy of simulation results with respect to data actually measured on the machine. The CodeSign simulation results are shown to have superior accuracy compared to the output of a previous spreadsheet model of the same machine.
Citations
| 954 | Petri nets: Properties, analysis and applications – Murata - 1989 |
| 560 | Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, volume 1 – Jensen - 1996 |
| 197 | Dimensions of object-based language design – Wegner - 1987 |
| 180 | Modeling and verification of time dependent systems using Time Petri nets – Berthomieu, Diaz - 1991 |
| 69 | Recoverability of communication protocols – Merlin, Faber - 1976 |
| 18 | An Object Oriented Petri Net Approach to Embedded System Design – Esser - 1996 |
| 10 | Inheritance as an Incremental Modification Mechanism or – Wegner, Zdonik - 1988 |
| 9 | Engineering Complex Systems with Models and Objects – Oliver, Kelliher, et al. - 1997 |
| 6 | Pirbhai I A, Strategies for Real-Time System Specification – Hatley - 1987 |
| 5 | An Evaluation of High-End Tools for Petri-Nets – Storrle - 1998 |
| 1 | Modeling and verification of flexible manufacturing systems using Petri nets – Zurawski, Dillon - 1993 |
| 1 | nets and industrial applications: A tutorial – Petri - 1994 |
