On this page I will provide details about my publications.
Parallel
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. | ||
Abstract
Simulation,
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
into high-level
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. |
||
How
to order?
|
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):
http://parsys.informatik.uni-oldenburg.de/~bernd/paper_bg.html
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