Kurt Lautenbach

25 papers B 5Journal 6Unranked 14

Year	Rank	Type	Title / Venue / Authors
2014	B	`conf`	Propagation Nets. Petri Nets Kurt Lautenbach
2011	J	`jnl`	A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications. Nat. Comput. Kurt Lautenbach, Alexander Pinl
2003	—	`conf`	Logical Reasoning and Petri Nets. ICATPN Kurt Lautenbach
2002	—	`conf`	Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON. Promise Kurt Lautenbach, Jörg R. Müller, Stephan Philippi
2002	—	`conf`	Reproducibility of the Empty Marking. ICATPN Kurt Lautenbach
1999	—	`conf`	Constraint Satisfaction mit Petri-Netzen. AWPN Rudolf J. Kruse, Kurt Lautenbach
1998	B	`conf`	Timestamp nets in technical applications. SMC Hans-Michael Hanisch, Jan Thieme, Kurt Lautenbach, Carlo Simon
1994	—	`conf`	Liveness in Bounded Petri Nets Which Are Covered by T-Invariants. Application and Theory of Petri Nets Kurt Lautenbach, Hanno Ridder
1994	J	`jnl`	Workshop Modellierung der Zelldifferenzierung. Künstliche Intell. Ralf Hofestädt, Kurt Lautenbach, Markus Löffler
1991	—	`conf`	Petri-Netz-Darstellung von Deduktiven Datenbanken. Grundlagen von Datenbanken Michael Dahr, Kurt Lautenbach
1986	—	`conf`	Linear Algebraic Techniques for Place/Transition Nets. Advances in Petri Nets Kurt Lautenbach
1985	—	`conf`	Guidelines on using net analysis techniques with large specifications. Applications and Theory in Petri Nets G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano
1984	—	`conf`	Liveness and duality in marked-graph-like predicate/transition nets. European Workshop on Applications and Theory in Petri Nets Kurt Lautenbach, Anastasia Pagnoni
1984	J	`jnl`	On the various high-level Petri Nets and their invariatnts. Bull. EATCS Kurt Lautenbach, Anastasia Pagnoni
1982	—	`conf`	S-Invariance in Predicate/Transition Nets. European Workshop on Applications and Theory of Petri Nets Hartmann J. Genrich, Kurt Lautenbach
1982	J	`jnl`	The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes. IEEE Trans. Computers Werner E. Kluge, Kurt Lautenbach
1981	J	`jnl`	System Modelling with High-Level Petri Nets. Theor. Comput. Sci. Hartmann J. Genrich, Kurt Lautenbach
1980	—	`conf`	Kombinatorische Beschreibung und Lösung von Organisationsproblemen. ARCS Werner E. Kluge, Kurt Lautenbach
1980	B	`conf`	Substitution Systems - A Family of System Models Based on Concurrency. MFCS Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
1979	—	`conf`	Elements of General Net Theory. Advanced Course: Net Theory and Applications Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
1979	—	`conf`	The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. Semantics of Concurrent Computation Hartmann J. Genrich, Kurt Lautenbach
1978	B	`conf`	Facts in Place/Transition-Nets. MFCS Hartmann J. Genrich, Kurt Lautenbach
1976	B	`conf`	Generating Control Mechanisms by Restrictions. MFCS Kurt Lautenbach, Horst F. Wedde
1974	—	`conf`	Use of Petri Nets for Proving Correctness of Concurrent Process Systems. IFIP Congress Kurt Lautenbach, Hans Albrecht Schmid
1973	J	`jnl`	Synchronisationsgraphen Acta Informatica Hartmann J. Genrich, Kurt Lautenbach