| 2003 |
|---|
| 22 | EE | Kurt Lautenbach:
Logical Reasoning and Petri Nets.
ICATPN 2003: 276-295 |
| 2002 |
|---|
| 21 | EE | Kurt Lautenbach:
Reproducibility of the Empty Marking.
ICATPN 2002: 237-253 |
| 20 | | Kurt Lautenbach,
Jörg Müller,
Stephan Philippi:
Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON.
Promise 2002: 163-174 |
| 1999 |
|---|
| 19 | EE | Rudolf J. Kruse,
Kurt Lautenbach:
Constraint Satisfaction mit Petri-Netzen.
AWPN 1999 |
| 1994 |
|---|
| 18 | | Kurt Lautenbach,
Hanno Ridder:
Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.
Application and Theory of Petri Nets 1994: 358-375 |
| 17 | | Ralf Hofestädt,
Kurt Lautenbach,
Markus Löffler:
Workshop Modellierung der Zelldifferenzierung.
KI 8(1): 39 (1994) |
| 1991 |
|---|
| 16 | | Michael Dahr,
Kurt Lautenbach:
Petri-Netz-Darstellung von Deduktiven Datenbanken.
Grundlagen von Datenbanken 1991: 16-22 |
| 1986 |
|---|
| 15 | | Kurt Lautenbach:
Linear Algebraic Techniques for Place/Transition Nets.
Advances in Petri Nets 1986: 142-167 |
| 1985 |
|---|
| 14 | | G. Comparin,
Gaetano Aurelio Lanzarone,
Kurt Lautenbach,
Anastasia Pagnoni,
W. Panzeri,
A. Torgano:
Guidelines on using net analysis techniques with large specifications.
Applications and Theory in Petri Nets 1985: 142-161 |
| 1984 |
|---|
| 13 | | Kurt Lautenbach,
Anastasia Pagnoni:
Liveness and duality in marked-graph-like predicate/transition nets.
European Workshop on Applications and Theory in Petri Nets 1984: 331-352 |
| 12 | | Kurt Lautenbach,
Anastasia Pagnoni:
On the various high-level Petri Nets and their invariatnts.
Bulletin of the EATCS 23: 42-58 (1984) |
| 1982 |
|---|
| 11 | | Hartmann J. Genrich,
Kurt Lautenbach:
S-Invariance in Predicate/Transition Nets.
European Workshop on Applications and Theory of Petri Nets 1982: 98-111 |
| 10 | | Werner E. Kluge,
Kurt Lautenbach:
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes.
IEEE Trans. Computers 31(3): 194-207 (1982) |
| 1981 |
|---|
| 9 | | Hartmann J. Genrich,
Kurt Lautenbach:
System Modelling with High-Level Petri Nets.
Theor. Comput. Sci. 13: 109-136 (1981) |
| 1980 |
|---|
| 8 | | Werner E. Kluge,
Kurt Lautenbach:
Kombinatorische Beschreibung und Lösung von Organisationsproblemen.
ARCS 1980: 178-193 |
| 7 | | Hartmann J. Genrich,
Kurt Lautenbach,
P. S. Thiagarajan:
Substitution Systems - A Family of System Models Based on Concurrency.
MFCS 1980: 698-723 |
| 1979 |
|---|
| 6 | | Hartmann J. Genrich,
Kurt Lautenbach:
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets.
Semantics of Concurrent Computation 1979: 123-147 |
| 1978 |
|---|
| 5 | | Hartmann J. Genrich,
Kurt Lautenbach:
Facts in Place/Transition-Nets.
MFCS 1978: 213-231 |
| 1976 |
|---|
| 4 | | Kurt Lautenbach,
Horst Wedde:
Generating Control Mechanisms by Restrictions.
MFCS 1976: 416-422 |
| 1975 |
|---|
| 3 | | Hartmann J. Genrich,
Kurt Lautenbach,
P. S. Thiagarajan:
Elements of General Net Theory.
Advanced Course: Net Theory and Applications 1975: 21-163 |
| 1974 |
|---|
| 2 | | Kurt Lautenbach,
Hans Albrecht Schmid:
Use of Petri Nets for Proving Correctness of Concurrent Process Systems.
IFIP Congress 1974: 187-191 |
| 1973 |
|---|
| 1 | | Hartmann J. Genrich,
Kurt Lautenbach:
Synchronisationsgraphen
Acta Inf. 2: 143-161 (1973) |
