Selected References - Ph. D. Theses
Alexey Tovchigrechko:
Efficient symbolic analysis
of bounded Petri nets using Interval Decision Diagrams, October 2008.
Thomas Mertke:
Certifying programmable logic arrays (in German), October 2003.
Peter Deussen:
Analysis of concurrent systems by Process Automata (in German),
December 2001.
Jochen Spranger:
Symbolic LTL verification of Petri nets (in German), December 2001.
. . . t h e e n d . . .
Any comments or questions are welcome. Please direct them to: