For the most recent entries see the
Petri Nets Newsletter.
Lautenbach, K.
-
Lautenbach, Kurt:
Logical Reasoning and Petri Nets.
2003.
-
Simon, Carlo;
Lautenbach, Kurt;
Hanisch, Hans-Michael;
Thieme, Jan:
Using Parameterized Timestamp Petri Nets in Automatic Control.
2002.
-
Lautenbach, Kurt:
Reproducibility of the Empty Marking.
2002.
-
Lautenbach, K.;
Simon, C.:
Verification in a Logic of Actions.
2000.
-
Hanisch, H.-M.;
Thieme, J.;
Lautenbach, K.;
Simon, C.:
Timestamp nets in technical applications.
1998.
-
Kruse, Rudolf J.;
Lautenbach, Kurt:
Bayessche Petri Netze.
1998.
-
Kruse, Rudolf J.;
Lautenbach, Kurt:
Diagnostik mit Petri-Netzen.
1997.
-
Lautenbach, Kurt;
Ridder, Hanno:
Vervollständigung der S-Invarianten Technik durch Fixpunktalgorithmen.
1995.
-
Lautenbach, K.;
Ridder, H.:
Liveness in Bounded Petri Nets which are Covered by T-Invariants.
1993.
-
Dahr, M.;
Lautenbach, K.:
Datalog Nets.
1991.
-
Dahr, M.;
Lautenbach, K.:
Towards a Formal Theory of Datalog Nets.
1991.
-
Lautenbach, Kurt:
Untersuchung der Anwendbarkeit von Invarianten auf die Verifikation eines Kommunikationsprotokolls gegen berandende Dienste.
1990.
-
Lautenbach, K.:
Linear Algebraic Calculation of Deadlock and Traps.
1987.
-
Lautenbach, K.:
Linear Algebraic Techniques for Place/Transition Nets.
1987.
-
Comparin, G.;
Lanzarone, G.A.;
Lautenbach, K.;
Pagnoni, A.;
Panzeri, W.;
Torgano, A.:
Guidelines on Using Net Analysis Techniques with Large Specifications.
1986.
-
Lautenbach, K.:
Analysis Methods for Petri Net Models.
1986.
-
Lautenbach, K.:
On Logical and Linear Dependencies.
1985.
-
Lautenbach, K.;
Pagnoni, A.:
Invariance and Duality in Predicate/Transition Nets and in Coloured Nets.
1985.
-
Lautenbach, K.;
Pagnoni, A.:
Liveness and Duality in Marked-Graph-Like Predicate/Transition Nets.
1984.
-
Lautenbach, K.;
Pagnoni, A.:
On the Various High-Level Petri Nets and Their Invariants.
1984.
-
Lautenbach, Kurt:
On the Various High-Level Petri Nets and Their Invariants.
1984.
-
Genrich, H.J.;
Lautenbach, K.:
S-Invariance in Predicate/Transition Nets.
1983.
-
Lautenbach, K.:
Simple Marked-Graph-Like Predicate Transition Nets.
1983.
-
Kluge, W.E.;
Lautenbach, K.:
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes.
1982.
-
Genrich, H.J.;
Lautenbach, K.:
System Modelling with High-Level Petri Nets.
1981.
-
Genrich, H.J.;
Lautenbach, K.;
Thiagarajan, P.S.:
Elements of General Net Theory.
1980.
-
Genrich, H.J.;
Lautenbach, K.;
Thiagarajan, P.S.:
Substitution Systems - A Family of System Models Based on Concurrency.
1980.
-
Kluge, W.E.;
Lautenbach, K.:
Kombinatorische Beschreibung und Lösung von Organisationsproblemen.
1980.
-
Genrich, H.J.;
Lautenbach, K.:
The Analysis of Distributed Systems by Means of Predicate/ Transition-Nets.
1979.
-
Lautenbach, K.:
Wegsysteme in Petri-Netzen.
1979.
-
Lautenbach, K.;
Thiagarajan, P.S.:
Analysis of a Resource Allocation Problem Using Petri Nets.
1979.
-
Genrich, H.J.;
Lautenbach, K.:
Facts in Place/Transition-Nets.
1978.
-
Lautenbach, K.:
Ein kombinatorischer Ansatz zur Beschreibung und Erreichung von Fairness in Scheduling-Problemen.
1977.
-
Lautenbach, K.;
Pless, E.:
Grundmuster der Koordination von Systemen.
1976.
-
Lautenbach, K.;
Wedde, H.:
Generating Control Mechanism by Restrictions.
1976.
-
Lautenbach, K.:
Lebendigkeit in Petri-Netzen.
1975.
-
Lautenbach, K.:
Liveness in Petri Nets.
1975.
-
Lautenbach, K.;
Schmid, H.A.:
Use of Petri Nets for Proving Correctness of Concurrent Process Systems.
1974.
-
Genrich, H.J.;
Lautenbach, K.:
Synchronisationsgraphen.
1973.
-
Lautenbach, K.:
Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen.
1973.
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