Dieter Bertz Verlag, Berlin, 246 pages, 1996. Dissertation thesis; in German.
Abstract: This book deals with symbolic analysis methods for algebraic Petri nets. For this kind of high-level nets algebraic specifications are used to describe the individuality of tokens. Though it is possible to specify infinite data types and therefore many standard properties are undecidable for this net class there should be a computer aid for the analysis of algebraic nets.
The formalism of algebraic specifications provides a syntactic framework for symbolic calculations, in particular rewriting techniques for deciding equivalence of descriptions and solving equations. The author studies how these techniques can be involved in well known Petri net analysis methods, namely invariant calculus and reachability graph construction.