Dipl.-Inform. Christian Stehno

E-Mail: Christian.Stehno Neue Adresse

 

Forschung

Petrinetze, Verteilte Systeme, Realzeit, Verifikation, Model-Checking, Halbordnungssemantik

Werkzeuge

PEP
P-UMLaut

Publikationen

[SS06]

Tim Strazny and Christian Stehno. Ein Simulator für mehrfach erweiterte höhere Petrinetze. In Matthias Becker and Helena Szczerbicka, editors, 19. Symposium Simulationstechnik (ASIM 2006), Frontiers in Simulation, pages 171-176. SCS Publishing House e.V., September 2006.

[Ste05b]

Christian Stehno. Interchangeable High-Level Time Petri Nets. Petri Net Newsletter, 69:8-21, October 2005. This is a revised version of [Ste05c].

[Ste05a]

Christian Stehno. A Multi Purpose 3D Simulation Tool Based on Discrete Event Systems. In Karsten Schmidt and Christian Stahl, editors, AWPN 2005, Informatik-Berichte, pages 13-18. Humboldt-Universität zu Berlin, September 2005.

[Ste05d]

Christian Stehno. Recycling Model Checking Tools for New Application Domains. In Christian Stahl Karsten Schmidt, editor, AWPN 2005, Informatik-Berichte, pages 43-48. Humboldt-Universität zu Berlin, September 2005.

[Ste05c]

Christian Stehno. Interchangeable High-Level Time Petri Nets. PNML Workshop Helsinki, May 2005.

[EFM⁺05]

Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, and Christian Stehno. Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. In Andreas Prinz, Rick Reed, and Jeanne Reed, editors, SDL 2005: Model Driven, volume 3530 of Lecture Notes in Computer Science, pages 133-148. Springer-Verlag, 2005.

[BvdA03]

Eike Best and Wil van der Aalst, editors. Applications and Theory of Petri Nets 2003, volume 2679 of Lecture Notes in Computer Science, Eindhoven, The Netherlands, 2003. Springer-Verlag.

[BCvH⁺03]

Jonathan Billington, Søren Christensen, Kees van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, and Michael Weber. The Petri Net Markup Language: Concepts, Technology, and Tools. In Best and van der Aalst [BvdA03], pages 483-506.
[ .ps ]

[Ste03]

Christian Stehno. Visual Modelling Facilities in PEP. In Eric Verbeek, editor, Tool Demonstrations, pages 87-92. Beta Research School for Operations Managemanet and Logistics, 2003.
[ .ps.gz ]

[BS02a]

Eike Best and Christian Stehno. Überprüfung vom Steuersystemen mit PEP. Niedersächsiches Ministerium für Wissenschaft und Kultur (Hrsg.): Informationstechnologie an niedersächsischen Hochschulen, März 2002. Seiten 40-41.
[ .pdf ]

[BS02b]

Cécile Bui Thanh and Christian Stehno. New Petri Net Programming Features in PEP. In Ivana Cerná, editor, TOOLS DAY, Affiliated to CONCUR 2002, volume FIMU-RS-2002-05 of FI MU Report Series, pages 72-78. Masaryk University, 2002.
[ .ps.gz ]

[FS02]

Hans Fleischhack and Christian Stehno. Computing a Finite Prefix of a Time Petri Net. In Javier Esparza and Charles Lakos, editors, Application and Theory of Petri Nets, volume 2360 of Lecture Notes in Computer Science, pages 163-181. Springer-Verlag, 2002.
[ .ps.gz ]

[Ste02a]

Christian Stehno. Petri Net Markup Language: Implementation and Application. In Jörg Desel and Mathias Weske, editors, Promise 2002, volume P-21 of Lecture Notes in Informatics, pages 18-30. Gesellschaft für Informatik, 2002.
[ .ps.gz ]

[Ste02b]

Christian Stehno. Real-Time Systems Design with PEP. In Joost-Pieter Katoen and Perdita Stevens, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 2280 of Lecture Notes in Computer Science, pages 476-480. Springer-Verlag, 2002.
[ .ps.gz ]

[Ste02c]

Christian Stehno. System Specification and Verification Using High Level Concepts - A Tool Demonstration. In Dragan Bosnacki and Stefan Leue, editors, Model Checking Software, volume 2318 of Lecture Notes in Computer Science, pages 246-249. Springer-Verlag, 2002.
[ .ps.gz ]

[PS01]

Franck Pommereau and Christian Stehno. FIFO Buffers in Hot Tie Sauce. Technical Report 2001-04, LACL, Université Paris 12, 61 avenue du General de Gaulle, 94010 Créteil, France, 2001.
[ .ps.gz ]

[Ste01]

Christian Stehno. PEP Version 2.0. In Tool Demonstrations, Application and Theory of Petri Nets 2001. University of Newcastle upon Tyne, 2001.
[ .ps.gz ]

[Ste00]

Christian Stehno. Entfaltung von Zeit-Petrinetzen, Integration in das PEP-System und Optimierungen. Master's thesis, Universität Oldenburg, 2000.
[ .ps.gz ]

[Ste99]

Christian Stehno. Beschreibung des box-Compilers. Studienarbeit, Abteilung Parallele Systeme, Fachbereich Informatik, Universität Oldenburg, 1999.