Hanno Ridder

The Petri Net Tools Neptun and Poseidon

Carlo Simon, Hanno Ridder, H. Ridder, 1997 .

Analyse von Petri-Netz-Modellen mit Entscheidungsdiagrammen

Hanno Ridder, 1997 .

Third European Summer Scholl on Language, Logic, and Information - Saarbrücken 1991

Martin Volk, Frieder Stolzenburg, Christian Lieske, 1992, Künstliche Intell..

Liveness in Bounded Petri Nets Which Are Covered by T-Invariants

Kurt Lautenbach, Hanno Ridder, Kurt Lautenbach, 1994, Application and Theory of Petri Nets.

GTU - eine Grammatik Testumgebung mit Testsatzarchiv

Martin Volk, Hanno Ridder, 1992, LDV Forum.

The Linear Algebra of Deadlock Avoidance - A Petri Net Approach

Kurt Lautenbach, Hanno Ridder, Kurt Lautenbach, 1996 .