Kurt Lautenbach

According to our database, Kurt Lautenbach authored at least 25 papers between 1973 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Propagation Nets.

Kurt Lautenbach

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2011

A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications.

Kurt Lautenbach, Alexander Pinl

Nat. Comput., 2011

2003

Logical Reasoning and Petri Nets.

Kurt Lautenbach

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON.

Kurt Lautenbach, Jörg R. Müller, Stephan Philippi

Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002

Reproducibility of the Empty Marking.

Kurt Lautenbach

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

1999

Constraint Satisfaction mit Petri-Netzen.

Rudolf J. Kruse, Kurt Lautenbach

Proceedings of the 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11., 1999

1998

Timestamp nets in technical applications.

Hans-Michael Hanisch, Jan Thieme, Kurt Lautenbach, Carlo Simon

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1994

Workshop Modellierung der Zelldifferenzierung.

Ralf Hofestädt, Kurt Lautenbach, Markus Löffler

Künstliche Intell., 1994

Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.

Kurt Lautenbach, Hanno Ridder

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1991

Petri-Netz-Darstellung von Deduktiven Datenbanken.

Michael Dahr, Kurt Lautenbach

Proceedings of the Kurzfassungen des 3. GI-Workshops "Grundlagen von Datenbanken", 1991

1986

Linear Algebraic Techniques for Place/Transition Nets.

Kurt Lautenbach

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985

Guidelines on using net analysis techniques with large specifications.

G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano

Proceedings of the Advances in Petri Nets 1985, 1985

1984

On the various high-level Petri Nets and their invariatnts.

Kurt Lautenbach, Anastasia Pagnoni

Bull. EATCS, 1984

Liveness and duality in marked-graph-like predicate/transition nets.

Kurt Lautenbach, Anastasia Pagnoni

Proceedings of the Advances in Petri Nets 1984, 1984

1982

The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes.

Werner E. Kluge, Kurt Lautenbach

IEEE Trans. Computers, 1982

S-Invariance in Predicate/Transition Nets.

Hartmann J. Genrich, Kurt Lautenbach

Proceedings of the Applications and Theory of Petri Nets, 1982

1981

System Modelling with High-Level Petri Nets.

Hartmann J. Genrich, Kurt Lautenbach

Theor. Comput. Sci., 1981

1980

Substitution Systems - A Family of System Models Based on Concurrency.

Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

Kombinatorische Beschreibung und Lösung von Organisationsproblemen.

Werner E. Kluge, Kurt Lautenbach

Proceedings of the GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, 1980

1979

The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets.

Hartmann J. Genrich, Kurt Lautenbach

Proceedings of the Semantics of Concurrent Computation, 1979

Elements of General Net Theory.

Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan

Proceedings of the Net Theory and Applications, 1979

1978

Facts in Place/Transition-Nets.

Hartmann J. Genrich, Kurt Lautenbach

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1976

Generating Control Mechanisms by Restrictions.

Kurt Lautenbach, Horst F. Wedde

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1974

Use of Petri Nets for Proving Correctness of Concurrent Process Systems.

Kurt Lautenbach, Hans Albrecht Schmid

Proceedings of the Information Processing, 1974

1973

Synchronisationsgraphen

Hartmann J. Genrich, Kurt Lautenbach

Acta Informatica, 1973