For the most recent entries see the
Petri Nets Newsletter.
Stehno, C.
-
Stehno, Christian:
A Multi Purpose 3D Simulation Tool Based on Discrete Event Systems.
2005.
-
Stehno, Christian:
Recycling Model Checking Tools for New Application Domains.
2005.
-
Billington, Jonathan;
Christensen, Søren;
van Hee, Kees;
Kindler, Ekkart;
Kummer, Olaf;
Petrucci, Laure;
Post, Reinier;
Stehno, Christian;
Weber, Michael:
The Petri Net Markup Language: Concepts, Technology, and Tools.
2003.
-
Fleischhack, Hans;
Stehno, Christian:
Computing a Finite Prefix of a Time Petri Net.
2002.
-
Stehno, Christian:
System Specification and Verification Using High Level Concepts - A Tool Demonstration.
2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography