Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking. - Stéphane Klein; Xiying Weng; Georg Frey; Jean-Jacques Lesage; Lothar Litz (ACC, 2002)

PLC Programming with Signal Interpreted Petri Nets. - Stéphane Klein; Georg Frey; Mark Minas (ICATPN, 2003)

Identifikation ereignisdiskreter Systeme zum Zweck der Fehlererkennung. - Stéphane Klein (Autom., 2006)