Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Kummer, Olaf"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An extensible editor and simulation engine for Petri nets: RENEW
Olaf Kummer
,
Frank Wienberg
,
Michael Duvigneau
,
Jörn Schumacher
,
Michael Köhler
,
Daniel Moldt
,
Heiko Rölke
,
Rüdiger Valk
Lecture Notes in Computer Science
3099
, 2004, pp. 484-493
The Petri Net Markup Language: Concepts, technology, and tools
Jonathan Billington
,
Sren Christensen
,
Kees van Hee
,
Ekkart Kindler
,
Olaf Kummer
,
Laure Petrucci
,
Reinier Post
,
Christian Stehno
,
Michael Weber
Lecture Notes in Computer Science
2679
, 2003, pp. 483-505
Symmetric communication between coloured Petri net simulations and Java-processes
Olaf Kummer
,
Daniel Moldt
,
Frank Wienberg
Lecture Notes in Computer Science
1639
, 1999, pp. 86-105
Simulating synchronous channels and net instances
Olaf Kummer
Proceedings of the 5th Workshop on Algorithmen und Werkzeuge für Petrinetze
(694), 1998, pp. 73-78
Petri's axioms of concurrency - A selection of recent results
Olaf Kummer
,
Mark-Oliver Stehr
Lecture Notes in Computer Science
1248
, 1997, pp. 195-214