Pattern Based Model Reuse Using Colored Petri Nets

Colored Petri Net (CPN) is a graphical modeling language for simulation and modeling and for verification of discrete event systems. CPN allows developers to define a model in the form of reusable components. A model component is an independent element, which is specified using a formalized description, can conform to a certain component standard, has a well-defined interface, and encapsulates certain behavior. Modern components can help the developer reuse existing models according to their requirement as it reduces the cost and time of development. Composability is the capability to select and integrate various components to fulfill user requirements. Composability provides the means to achieve reusability where "reuse" is the ability of a simulation component to be reclaimed for various applications. We propose a verification framework for developers to select and assemble CPN-based components and verify their composability. The goal of this paper is to provide a pattern which helps developer in making models of concurrent systems. We present a case study of a restaurant model as proof of concept. A verified composition affirms reuse of model components in a meaningful manner by satisfying given requirement specifications.