Classification of Petri Nets Using Adjoint Functors.
Julia Padberg · 1998
this paper we extend this framework. This extension is independent of the description of the data type part. Hence it suffices to consider merely low-level Petri nets like different kinds of place/transition nets, ordinary nets, elementary nets, and so on. Careful investigations of several Petri types THIS WORK IS PART OF THE JOINT RESEARCH PROJECT "DFGFORSCHERGRUPPE PETRINETZ-TECHNOLOGIE" BETWEEN H. WEBER (COORDINATOR) , H. EHRIG (BOTH FROM THE TECHNICAL UNIVERSITY BERLIN) AND W. REISIG (HUMBOLDT-UNIVERSIT AT ZU BERLIN), SUPPORTED BY THE GERMAN RESEARCH COUNCIL (DFG)