System simulation programming styles and languages
System simulation programming styles and languages
Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems
On the appropriateness of Petri nets in model building and simulation
Systems Analysis Modelling Simulation
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Petri nets for modeling of dynamic systems—a survey
Automatica (Journal of IFAC)
Putting high-level Petri nets to work in industry
Computers in Industry
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Computer Simulation in Management Science
Computer Simulation in Management Science
Requirements for domain specific discrete event simulation environments
WSC '05 Proceedings of the 37th conference on Winter simulation
Information Systems Research
Process modeling for simulation
Computers in Industry
Building insightful simulation models using Petri Nets - A structured approach
Decision Support Systems
BPMN pattern for agent-based simulation model representation
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
In recent years development of formal approaches for modeling and simulation of manufacturing systems received significant attention. Approaches building on alternative Petri Nets formalisms show essential strengths in accurately capturing both a system's static structure and its dynamics, availability of mathematical analysis methods, and graphical representation. However, models of realistic systems are often perceived as too large and complex to understand by project stakeholders. This hinders their participation in modeling, and solution finding, and may influence their perception of model credibility. In this article we address this issue by considering a structured approach for embodying high-level manufacturing concepts. The approach aims at creating more insightful simulation models by building on sound and explicit conceptualization, i.e., the choice of manufacturing concepts, and clear rules for their formalization, i.e., their mapping on elementary model components. We adopted the Petri Nets based tool ExSpectTM to illustrate and evaluate our approach.