A Tool for Modeling and Simulating with Reconfigurable Object Nets

Abstract

In this report, we present a tool for modelling and simulation with reconfigurable Petri nets. Applying the idea of algebraic graph transformations to object nets we obtain reconfigurable object nets whose net structure can be changed dynamically. The rule-based change of the net structure enables the adequate modelling of complex and dynamic structures as for example reconfigurable manufacturing systems. The tool we developed uses reconfigurable object nets that are extended by various annotations. The transformation approach is based on the well-known algebraic transformation approach as DPO (Double PushOut).