In: LNCS 2128: Unifying Petri Nets, pages 79-pp. Advances in Petri Nets / H. Ehrig, G. Juhás, J. Padberg, G. Rozenberg (Eds.) --- Springer Verlag, December 2001.
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 Petri Net Baukasten and is therefore closely related to the contributions [3, 8, 24] in this volume.
Back to the Petri Nets Bibliography