An AGVS simulation code generator for manufacturing applications
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Interval Timed Coloured Petri Nets and their Analysis
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Manufacturing case studies: NIST XML simulation interface specification at Boeing: a case study
Proceedings of the 35th conference on Winter simulation: driving innovation
Data exchange for machine shop simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
A framework for standard modular simulation in semiconductor wafer fabrication systems
WSC '05 Proceedings of the 37th conference on Winter simulation
Concurrent material flow analysis by P3R-driven modeling and simulation in PLM
Computers in Industry
Activity interaction and self-simulating systems
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor manufacturing. This simulation model uses an object-oriented Petri net data structure. The Petri net based simulation uses the same enabling rules as classical Petri nets, but has extensions of time and priorities. This approach minimizes the effort of model verification. Each object identified in the problem data specification is mapped to corresponding Petri net fragments. The Petri net simulation model is synthesized from verifiable subnets. This allows ensuring the liveness of the final Petri net simulation model. The applicability of this approach is demonstrated by generating a simulation model based on the Sematech data set.