Fairness Verification of BOM-Based Composed Models Using Petri Nets
2011 (English)In: Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation, Washington, DC, USA: IEEE Computer Society , 2011, 5936770- p.Conference paper (Refereed)
Model reuse is a promising and appealing convention for effective development of simulation systems. However it poses daunting challenges to various issues in research such as Reusability and Composability in model integration. Various methodological advances in this area have given rise to the development of different component reusability frameworks such as BOM (Base Object Model). However, lack of component matching and support for composability verification and validation makes it difficult to achieve effective and meaningful reuse. For this reason there is a need for adequate methods to verify and validate composability of a BOM based composed model. A verified composed model ensures the satisfaction of desired system properties. Fairness, as defined in section II, is an important system property which ensures that no component in a composition is delayed indefinitely. Fairness in a composed model guarantees the participation of all components in order to achieve the desired objectives. In this paper we focus on verification and propose to transform a composed BOM into a Petri Nets model and use different analysis techniques to perform its verification. We propose an algorithm to verify fairness property and provide a case study of a manufacturing system to explain our approach.
Place, publisher, year, edition, pages
Washington, DC, USA: IEEE Computer Society , 2011. 5936770- p.
, Workshop on Principles of Advanced and Distributed Simulation, ISSN 1087-4097
BOM framework, Composability, Fairness, Manufacturing System, Model Verification, Petri Nets Analysis
IdentifiersURN: urn:nbn:se:kth:diva-49400DOI: 10.1109/PADS.2011.5936770ISI: 000297996600011ScopusID: 2-s2.0-79960691010ISBN: 978-1-4577-1363-7OAI: oai:DiVA.org:kth-49400DiVA: diva2:459616
25th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2011; Nice; 14 June 2011 through 17 June 2011
QC 201111302011-11-272011-11-262012-04-03Bibliographically approved