Olaf Kluge

Modelling a Railway Crossing with Message Sequence Charts and Petri Nets

Olaf Kluge, Olaf Kluge, 2003, Petri Net Technology for Communication-Based Systems.

Compositional semantics for message sequence charts based on Petri Nets

Olaf Kluge, 2002 .

Configuration Management for Electronics in Automotive Engineering

Olaf Kluge, Roman Klement, 2005 .

Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets

Olaf Kluge, 2000 .