Axiomatic systems in concurrency theory (Q2715921)

This book is based on a research project done by the author as a member of Theoretical Foundations Group at Hamburg University. Apparently, the book is the revised English version of the author's diploma thesis written in German. The paper presents a formal treatment of axiomatic Concurrency Theory based on the net theory developed initially by C.A. Petri and widely known as Petri Nets. The author investigates various models and axioms and offers a study on several axiomatic systems. The paper has six chapters. First chapter is a short introduction followed by a chapter containing the basic definitions and concepts of automatic concurrency theory as introduced by Petri. This chapter makes the paper almost self contained. The third chapter speculates with different examples of concurrency models. The main results of the paper are in the chapter 4 and 5. New axioms are introduced and studied, many axiomatic systems are discussed. The last chapter is dedicated to conclusions and open problems. Researcher interested in Concurrency Theory would find this work interesting and worth to investigate along with the other results of C.A.Petri group. Regular computer science students and computer science professionals could have a first glimpse in axiomatic Concurrency Theory despite the high theoretical level of the presentation.