Kummer, O.

• Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, Jörn; Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger:
  An Extensible Editor and Simulation Engine for Petri Nets: Renew. 2004.

• 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.

• Kummer, O.:
  Referenznetze. 2002.

• Jacob, Thomas; Kummer, Olaf; Moldt, Daniel; Ultes-Nitsche, Ulrich:
  Implementation of Workflow Systems using Reference Nets - Security and Operability Aspects. 2002.

• Kummer, Olaf:
  Introduction to Petri Nets and Reference Nets. 2001.

• Moldt, Daniel; Jacob, Thomas; Kummer, Olaf:
  Database backing for Petri net simulations. 2001.

• Kummer, O.:
  Undecidability in Object-Oriented Petri Nets. 2000.

• Kummer, O.; Wienberg, F.; Moldt, D.:
  XML and Petri Nets -- Following the Forces. 2000.

• Kummer, Olaf; Moldt, Daniel; Wienberg, Frank:
  Symmetric Communication between Coloured Petri Net Simulations and Java-Processes. 1999.

• Kummer, Olaf:
  A Petri Net View on Synchronous Channels. 1999.

• Kummer, Olaf; Wienberg, Frank:
  Renew - the Reference Net Workshop. 1999.

• Kummer, Olaf:
  Simulating Synchronous Channels and Net Instances. 1998.

• Kummer, Olaf; Moldt, Daniel; Wienberg, Frank:
  A Framework for Interacting Design/CPN- and Java-Processes. 1998.

• Kummer, Olaf; Stehr, Mark-Oliver:
  Petri's Axioms of concurrency - A Selection of Recent Results. 1997.

• Kummer, Olaf:
  Axiomensysteme für die Theorie der Nebenläufigkeit. 1996.

• Dietze, R.; Kudlek, M.; Kummer, O.:
  On Decidability Problems of a Basic Class of Object Nets. 06.

Back to the Petri Nets Bibliography