dblp.uni-trier.dewww.uni-trier.de

Kurt Lautenbach Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2003
22EEKurt Lautenbach: Logical Reasoning and Petri Nets. ICATPN 2003: 276-295
2002
21EEKurt 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
19EERudolf J. Kruse, Kurt Lautenbach: Constraint Satisfaction mit Petri-Netzen. AWPN 1999
1994
18EEKurt 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
14EEG. 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
13EEKurt 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
7EEHartmann 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
5EEHartmann J. Genrich, Kurt Lautenbach: Facts in Place/Transition-Nets. MFCS 1978: 213-231
1976
4EEKurt 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)

Coauthor Index

1G. Comparin [14]
2Michael Dahr [16]
3Hartmann J. Genrich [1] [3] [5] [6] [7] [9] [11]
4Ralf Hofestädt [17]
5Werner E. Kluge [8] [10]
6Rudolf J. Kruse [19]
7Gaetano Aurelio Lanzarone [14]
8Markus Löffler [17]
9Jörg Müller [20]
10Anastasia Pagnoni [12] [13] [14]
11W. Panzeri [14]
12Stephan Philippi [20]
13Hanno Ridder [18]
14Hans Albrecht Schmid [2]
15P. S. Thiagarajan [3] [7]
16A. Torgano [14]
17Horst F. Wedde (Horst Wedde) [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)