Building insightful simulation models using formal approaches - A case study on Petri Nets

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)


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 ExSpect (TM) to illustrate and evaluate our approach.

Original languageEnglish
Title of host publicationProceedings of the 2009 winter simulation conference
EditorsM.D. Rossetti, R.R. Hill, B. Johansson, A. Dunkin, R.G. Ingalls
Place of PublicationNEW YORK
PublisherIEEE (The Institute of Electrical and Electronics Engineers)
Number of pages13
ISBN (Print)978-1-4244-5770-0
Publication statusPublished - 2009
EventWinter Simulation Conference 2009 -
Duration: 13-Dec-200916-Dec-2009

Publication series

NameWinter Simulation Conference Proceedings
ISSN (Print)0891-7736


OtherWinter Simulation Conference 2009



Cite this