A Petri net based method for the early verification & validation of a simulation study in construction management

Authors:
Kais Samkari;Volkhard Franz
Affiliations:
University of Kassel, Kassel, Germany;University of Kassel, Kassel, Germany
Venue:
Proceedings of the Winter Simulation Conference
Year:
2012

Citing 3
Cited 1

Petri net based simulation of construction schedules

Proceedings of the 29th conference on Winter simulation
Input data management methodology for discrete event simulation

Winter Simulation Conference
Verification and validation activities within a new procedure model for V&V in production and logistics simulation

Winter Simulation Conference

Perception of a building construction schedule

Proceedings of the Emerging M&S Applications in Industry & Academia / Modeling and Humanities Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

A simulation study in construction management is business information that supports decision-making activities in construction planning and scheduling. To be confident in the various results of a simulation study, it is intuitive to be confident first in the collected simulation model inputs. This paper proposes properties to verify and validate simulation model inputs. The proposed V&V (Verification and Validation) properties are registered in a method that navigates an automatically generated project network. The project network is modeled as a marked graph Petri net. The method inspects the Petri net's transitions and collects the needed information according to the properties. The validity of the method is confirmed by an in-house building construction project where errors and semantic mistakes in the building project's model inputs were detected.