For the most recent entries see the
Petri Nets Newsletter.
Spranger, J.
-
Heiner, M.;
Deussen, P.;
Spranger, J.:
A case study in design and verification of manufacturing system control software with hierarchical Petri nets.
1999.
-
Spranger, J.:
Combining Structural Properties and Symbolic Representation for Efficient Analysis of Petri Nets.
1998.
-
Spranger, Jochen:
Combining Structural Properties and Symbolic Representation for Efficient Analysis of Petri Nets.
1998.
-
Spranger, J.:
FUNlite - A Parallel Petri Net Simulator.
1997.
-
Spranger, Jochen:
Symbolische Berechnung des Zustandsraumes von Petri-Netzen.
1997.
-
Heiner, Monika;
Deussen, P.;
Spranger, J.:
A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets.
1996.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography