Kurt Lautenbach

According to our database1, Kurt Lautenbach
  • authored at least 24 papers between 1973 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2014
Propagation Nets.
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.
Natural Computing, 2011

2003
Logical Reasoning and Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON.
Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002

Reproducibility of the Empty Marking.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

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

1994
Workshop Modellierung der Zelldifferenzierung.
KI, 1994

Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.
Proceedings of the Application and Theory of Petri Nets 1994, 1994

1991
Petri-Netz-Darstellung von Deduktiven Datenbanken.
Grundlagen von Datenbanken, 1991

1986
Linear Algebraic Techniques for Place/Transition Nets.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985
Guidelines on using net analysis techniques with large specifications.
Proceedings of the Advances in Petri Nets 1985, 1985

1984
On the various high-level Petri Nets and their invariatnts.
Bulletin of the EATCS, 1984

Liveness and duality in marked-graph-like predicate/transition nets.
Proceedings of the Advances in Petri Nets 1984, 1984

1982
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes.
IEEE Trans. Computers, 1982

S-Invariance in Predicate/Transition Nets.
Proceedings of the Applications and Theory of Petri Nets, 1982

1981
System Modelling with High-Level Petri Nets.
Theor. Comput. Sci., 1981

1980
Substitution Systems - A Family of System Models Based on Concurrency.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

Kombinatorische Beschreibung und Lösung von Organisationsproblemen.
Proceedings of the GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, 1980

1979
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets.
Proceedings of the Semantics of Concurrent Computation, 1979

Elements of General Net Theory.
Proceedings of the Net Theory and Applications, 1979

1978
Facts in Place/Transition-Nets.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1976
Generating Control Mechanisms by Restrictions.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1974
Use of Petri Nets for Proving Correctness of Concurrent Process Systems.
IFIP Congress, 1974

1973
Synchronisationsgraphen
Acta Inf., 1973


  Loading...