Diploma thesis at the Department of Computer Science, University of Hamburg
Regarding the historical background we establish connections to the work of Reichenbach and Carnap whose work in turn was influenced by the results of Einstein, Minkowsky, and others. The ideas of Dedekind on continuity are shown to have a lasting impact on Concurrency Theory.
Petri has published many diffent paper on the subject over the years. We extract a core of invariant axioms and take it as a starting point for evaluating the various axiomatic systems of Petri. Imporant implications of the core axioms and the axioms themselves are explained in the context of the physical reality.