On this page I will provide details about my publications.
Programs as Petri Nets
Dr. Bernd GRAHLMANN
BOOKS ON DEMAND GMBH
|This is the publication of my PhD thesis ‘Parallel Programs as Petri Nets’ done at the Faculty of Mathematics, Informatics and Natural Sciences of the University of Hildesheim, Germany.|
analysis and verification of parallel programs is a major challenge.
This thesis proposes a solution which is based on Petri nets. The
main contribution is the formal definition of compositional high-level
Petri net semantics for B(PN)˛ Basic Petri Net Programming Notation)
programs and SDL (Specification Description Language) systems. The
correct and efficient translation of
Petri nets are distinguishing characteristics.
Finally, the definition of a high-level Petri net semantics for ‘hybrid’ systems which are composed of B(PN)˛ parts, SDL parts and B(PN)˛ and/or SDL specific finite automata gives evidence for the general applicability of the presented concepts.
You can find my previous publications (papers at
conferences) at my old university web site (I hope that I will soon find some
time to provide them on this site):
Please contact me if you have any questions, are interested in details, training / consultancy, ...: Bernd@Grahlmann.net
Bernd Grahlmann (last updated January 2nd, 2004)
Back to my homepage www.grahlmann.net