Database theory - Petri net theory - workflow theory

Initial realization of the -Petri net Baukasten-. Subprojects: net based software development (NSE). Universal approach to net based system description (UBS). Theory based Petri net applications (TheoPAn)

Battke, A.
Borusan, A.
Weber, M. (Humboldt-Universitaet, Berlin (Germany))
Vesper, T.
Reisig, W.
Martens, A.
Hohberg, B.
Weber, H. (Technische Univ. Berlin (Germany))
Padberg, J.
Lembke, S.
Juhas, G.
Hoffmann, K.
Gajewsky, M.
Ermel, C.
Ehrig, H.
Dehnert, J.
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 1999

SIGLEAvailable from TIB Hannover: RR 2036(129) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Datalog nets

Dahr, M.
Lautenbach, K. (Koblenz-Landau Univ. (Germany). Computer Science Dept.)
Koblenz-Landau Univ. (Germany)

January 1991

SIGLEAvailable from TIB Hannover: RO6844(1991,11) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Theorie der Programmierung

Indermark, K. (ed.)
Aachen Technische Hochschule (Germany). Mathematisch-Naturwissenschaftliche Fakultaet

January 1983

TIB: RN 3147 (87) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbiblioth...

Einfuehrung in die Grundlagen der Theorie der Hoeheren Petri-Netze

Korczynski, W. (Warsaw Univ. (Poland))
Suess, W.
Duepmeier, C.
Kernforschungszentrum Karlsruhe G.m.b.H. (KfK) (Germany). Inst. fuer Datenverarbeitung in der Technik (IDT)

January 1990

SIGLEAvailable from TIB Hannover: ZA 5141(4636) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Dataflow semantics for Petri nets

Gold, R.
Muenchen Technische Univ. (Germany). Sonderforschungsbereich 342 - Methoden und Werkzeuge fuer die Nutzung Paralleler Rechnerarchitekturen
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1991

Available from TIB Hannover: RN 7878(9107) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Bibliography of Net Theory

Drees, S.
Gomm, D.
Pluennecke, H.
Reisig, W.
Walter, R. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Notations and terminology on Petri net theory

Best, E.
Fernandez, C. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Theorie und Anwendung einfacher Spiele

Ostmann, A.
Bonn Univ. (Germany). Sonderforschungsbereich 303 - Information und die Koordination Wirtschaftlicher Aktivitaeten

January 1988

SIGLEAvailable from TIB Hannover: RO 3009(101) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Building structured Petri nets

Goltz, U. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Advanced database systems

Vossen, G. (Muenster Univ. (Germany). Inst. fuer Informatik)
Muenster Univ. (Germany). Inst. fuer Angewandte Mathematik und Informatik

January 1998

SIGLEAvailable from TIB Hannover: RO 7057(1998,22) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Feststoffabtrennung auf Klaeranlagen - Theorie und Praxis

Guenthert, F.W. (Inst. fuer Wasserwesen, Univ. der Bundeswehr, Muenchen (Germany))
Deininger, A. (Dr.-Ing. Steinle, Ingenieurgeselllschaft fuer Wassertechnik, Weyarn (Germany))
Krebs, P. (Technische Univ. Dresden (Germany). Inst. fuer Siedlungs- und Industriewasserwirtschaft)
Universitaet der Bundeswehr Muenchen, Neubiberg (Germany). Inst. fuer Wasserwesen

January 2001

Available from TIB Hannover: RN 6966(78/2001) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Systematische wettbewerbsorientierte Produktentwicklung

Koeberlein, S.

January 2003

SIGLEAvailable from TIB Hannover: RO 2520(64) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Modellierung zeitdiskreter Systeme und ihre formale Spezifikation mit Petri Netzen

Burkhardt, H.J.
Prinoth, R. (GMD - Forschungszentrum Informationstechnik GmbH, Darmstadt (Germany). Inst. fuer Telekooperationstechnik)
GMD - Forschungszentrum Informationstechnik GmbH, St. Augustin (Germany)

January 1998

Available from TIB Hannover: RR 8958(6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisch...

Petri-Netze im Flughafenverkehr Moeglichkeiten, Grenzen, Perspektiven

Huck, V. (Deutsche Forschungsanstalt fuer Luft- und Raumfahrt e.V. (DLR), Braunschweig (Germany). Inst. fuer Flugfuehrung)
Deutsche Forschungsanstalt fuer Luft- und Raumfahrt e.V. (DLR), Koeln (Germany)

January 1991

Available from TIB Hannover: RN 278(91-17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Untersuchung der Netzdynamik bei Systemen mit aufgepraegtem Druck

Aachen Technische Hochschule (Germany). Lehrstuhl und Inst. fuer Hydraulische und Pneumatische Antriebe und Steuerungen
Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1990

Available from TIB Hannover: F93B65 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische In...

Initial realization of the -Petri net Baukasten-. Subprojects: net based software development (NSE). Universal approach to net based system description (UBS). Theory based Petri net applications (TheoPAn)

Battke, A.
Borusan, A.
Weber, M. (Humboldt-Universitaet, Berlin (Germany))
Vesper, T.
Reisig, W.
Martens, A.
Hohberg, B.
Weber, H. (Technische Univ. Berlin (Germany))
Padberg, J.
Lembke, S.
Juhas, G.
Hoffmann, K.
Gajewsky, M.
Ermel, C.
Ehrig, H.
Dehnert, J.
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 1999

SIGLEAvailable from TIB Hannover: RR 2036(129) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Datalog nets

Dahr, M.
Lautenbach, K. (Koblenz-Landau Univ. (Germany). Computer Science Dept.)
Koblenz-Landau Univ. (Germany)

January 1991

SIGLEAvailable from TIB Hannover: RO6844(1991,11) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Theorie der Programmierung

Indermark, K. (ed.)
Aachen Technische Hochschule (Germany). Mathematisch-Naturwissenschaftliche Fakultaet

January 1983

TIB: RN 3147 (87) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbiblioth...

Einfuehrung in die Grundlagen der Theorie der Hoeheren Petri-Netze

Korczynski, W. (Warsaw Univ. (Poland))
Suess, W.
Duepmeier, C.
Kernforschungszentrum Karlsruhe G.m.b.H. (KfK) (Germany). Inst. fuer Datenverarbeitung in der Technik (IDT)

January 1990

SIGLEAvailable from TIB Hannover: ZA 5141(4636) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Dataflow semantics for Petri nets

Gold, R.
Muenchen Technische Univ. (Germany). Sonderforschungsbereich 342 - Methoden und Werkzeuge fuer die Nutzung Paralleler Rechnerarchitekturen
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1991

Available from TIB Hannover: RN 7878(9107) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Bibliography of Net Theory

Drees, S.
Gomm, D.
Pluennecke, H.
Reisig, W.
Walter, R. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Notations and terminology on Petri net theory

Best, E.
Fernandez, C. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Theorie und Anwendung einfacher Spiele

Ostmann, A.
Bonn Univ. (Germany). Sonderforschungsbereich 303 - Information und die Koordination Wirtschaftlicher Aktivitaeten

January 1988

SIGLEAvailable from TIB Hannover: RO 3009(101) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Building structured Petri nets

Goltz, U. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Advanced database systems

Vossen, G. (Muenster Univ. (Germany). Inst. fuer Informatik)
Muenster Univ. (Germany). Inst. fuer Angewandte Mathematik und Informatik

January 1998

SIGLEAvailable from TIB Hannover: RO 7057(1998,22) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Feststoffabtrennung auf Klaeranlagen - Theorie und Praxis

Guenthert, F.W. (Inst. fuer Wasserwesen, Univ. der Bundeswehr, Muenchen (Germany))
Deininger, A. (Dr.-Ing. Steinle, Ingenieurgeselllschaft fuer Wassertechnik, Weyarn (Germany))
Krebs, P. (Technische Univ. Dresden (Germany). Inst. fuer Siedlungs- und Industriewasserwirtschaft)
Universitaet der Bundeswehr Muenchen, Neubiberg (Germany). Inst. fuer Wasserwesen

January 2001

Available from TIB Hannover: RN 6966(78/2001) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Systematische wettbewerbsorientierte Produktentwicklung

Koeberlein, S.

January 2003

SIGLEAvailable from TIB Hannover: RO 2520(64) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Modellierung zeitdiskreter Systeme und ihre formale Spezifikation mit Petri Netzen

Burkhardt, H.J.
Prinoth, R. (GMD - Forschungszentrum Informationstechnik GmbH, Darmstadt (Germany). Inst. fuer Telekooperationstechnik)
GMD - Forschungszentrum Informationstechnik GmbH, St. Augustin (Germany)

January 1998

Available from TIB Hannover: RR 8958(6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisch...

Petri-Netze im Flughafenverkehr Moeglichkeiten, Grenzen, Perspektiven

Huck, V. (Deutsche Forschungsanstalt fuer Luft- und Raumfahrt e.V. (DLR), Braunschweig (Germany). Inst. fuer Flugfuehrung)
Deutsche Forschungsanstalt fuer Luft- und Raumfahrt e.V. (DLR), Koeln (Germany)

January 1991

Available from TIB Hannover: RN 278(91-17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Untersuchung der Netzdynamik bei Systemen mit aufgepraegtem Druck

Aachen Technische Hochschule (Germany). Lehrstuhl und Inst. fuer Hydraulische und Pneumatische Antriebe und Steuerungen
Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1990

Available from TIB Hannover: F93B65 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische In...

Initial realization of the -Petri net Baukasten-. Subprojects: net based software development (NSE). Universal approach to net based system description (UBS). Theory based Petri net applications (TheoPAn)

Battke, A.
Borusan, A.
Weber, M. (Humboldt-Universitaet, Berlin (Germany))
Vesper, T.
Reisig, W.
Martens, A.
Hohberg, B.
Weber, H. (Technische Univ. Berlin (Germany))
Padberg, J.
Lembke, S.
Juhas, G.
Hoffmann, K.
Gajewsky, M.
Ermel, C.
Ehrig, H.
Dehnert, J.
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 1999

SIGLEAvailable from TIB Hannover: RR 2036(129) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Datalog nets

Dahr, M.
Lautenbach, K. (Koblenz-Landau Univ. (Germany). Computer Science Dept.)
Koblenz-Landau Univ. (Germany)

January 1991

SIGLEAvailable from TIB Hannover: RO6844(1991,11) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Theorie der Programmierung

Indermark, K. (ed.)
Aachen Technische Hochschule (Germany). Mathematisch-Naturwissenschaftliche Fakultaet

January 1983

TIB: RN 3147 (87) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbiblioth...

Database theory - Petri net theory - workflow theory

Abstract

Extracted data

Database theory - Petri net theory - workflow theory

Abstract

Extracted data

Related items

Related items