Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«

  • Authors:

  • Claudia Ermel;Michael Weber

  • Affiliations:

  • -;-

  • Venue:
  • Unifying Petri Nets, Advances in Petri Nets
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show in this paper how the formalism of Parameterized Net Classes is realized with the Petri Net Kernel. Parameterized Net Classes are an abstract notion of Petri nets using formal parameters to express Petri net type characteristics. This formalism allows the abstract formulation of formal concepts for a large variety of Petri net types. The Petri Net Kernel is a tool infrastructure supporting an easy implementation of Petri net algorithms. Moreover, the Petri Net Kernel is not restricted to a fixed Petri net type. Instead, only the net type has to be implemented as "net type specification". It is then used as basis for implemented application algorithms. In our paper we describe an implementation of the formal net type parameters via an interface such that the parameter implementation can be transformed to a net type specification for the Petri Net Kernel. This allows on the one hand a simple change of the net type by selecting a different combination of the actual net type parameters. On the other hand, applications (like simulation or analysis algorithms) can be developed generically, i.e. independently of the Petri net type, thus supporting rapid prototyping for Petri net tools. The implementation is embedded in the development of the 驴Petrinetz-Baukasten驴 and is therefore closely related to the contributions [3,8,24] in this volume.