Computing a Finite Prefix of a Time Petri Net. - Hans Fleischhack; Christian Stehno (ICATPN, 2002)

Petri net markup language: implementation and application. - Christian Stehno (Promise, 2002)

System Specification and Verification Using High Level Concepts - A Tool Demonstration. - Christian Stehno (SPIN, 2002)

Real-Time Systems Design with PEP. - Christian Stehno (TACAS, 2002)

The Petri Net Markup Language: Concepts, Technology, and Tools. - Jonathan Billington; Søren Christensen; Kees M. van Hee; Ekkart Kindler; Olaf Kummer; Laure Petrucci; Reinier Post; Christian Stehno; Michael Weber 003 (ICATPN, 2003)

Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. - Christoph Eichner; Hans Fleischhack; Roland Meyer 001; Ulrik Schrimpf; Christian Stehno (SDL Forum, 2005)

Comparison of different design methodologies of hardware-based image processing for automation in microrobotics. - Tobias Tiemerding; Claas Diederichs; Christian Stehno; Sergej Fatikow (AIM, 2013)