In: Proceedings of Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 21-22, 1999, pages 243-266. Fraunhofer Gesellschaft, ISST, 1999.
Abstract: As part of the `Petri Net Baukasten' the Expert View presents mathematical concepts and results of Petri net theory in a structured and application oriented way. Consistent formal Petri net techniques and transformations between these are main issues. We introduce the notions of formal Petri net techniques, abstract Petri net frames, instantiations, and transformations. These notions are specified by schemes which are used to represent specific pieces of Petri net theory known from literature. Furthermore, the Expert View presents explicit formal descriptions of concepts described semi-formally in the Common Base.
Back to the Petri Nets Bibliography