Die Petri Netz Beschreibungssprache PeLan Version 5.0

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...

Beschreibung des Modellaufbaus eines Netzkupplungsumrichters

Sezi, T.
Spielbauer, H.
Berlin Technische Univ. (Germany). Inst. fuer Allgemeine Elektrotechnik

January 1985

SIGLETIB: RA 3123 (121) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Vorhersage der Erdrotationsparameter mit Hilfe Neuronaler Netze

Ulrich, M.

January 2000

Available from TIB Hannover: RS 2101(9) / 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...

Untersuchungen an Petri-Netzen mit vorgegebener Schaltzeit und Schaltzeitkapazitaet (ZK-Netze)

Sepehr, H.
Hamburg Univ. (Germany). Fachbereich Informatik

January 1984

SIGLETIB: RN 3437 (102) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Abbildung von ProC/B nach Petri Netzen. Version 2

Fischer, M.
Kemper, P.
Tepper, C.
Wu Zenghui
Dortmund Univ. (Germany). Sonderforschungsbereich 559 - Modellierung grosser Netze in der Logistik

January 2003

Available from TIB Hannover: RS 3747(3011) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Building structured Petri nets

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

January 1986

SIGLETIB: RN 9844 (223) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

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...

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...

Der Petrinetz-Kern. Version 1.0 Dokumentation der Anwendungsschnittstelle

Hauptmann, J.
Hohberg, B.
Kindler, E.
Schwenzer, I.
Weber, M.
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 1998

SIGLEAvailable from TIB Hannover: RR 2036(98) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Netzplantechnik mit Sinet Verfahrensbeschreibung

Mueller-Ettrich, R.
Siemens A.G., Muenchen (Germany, F.R.). Bereich Daten- und Informationssysteme

January 1981

Technische Informationsbibliothek Hannover: RA 2498 (220) / FIZ - Fachinformationszzentrum Karlsruhe...

Allgemeine Petri-Netze als Hilfsmittel zur Analyse von Systemen

Westphal, I.

January 1981

SIGLETIB: AC 7909 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbiblioth...

Bewertungsfunktionen in Schachprogrammen

Steinwender, D.
Hamburg Univ. (Germany). Fachbereich 18 - Informatik

January 1984

SIGLETIB: RN 3437 (109) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Operational Petri net semantics for CCSP

Olderog, E.R.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1987

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

Bedeutungen von Begriffsverbaenden

Wille, R.
Darmstadt Technische Hochschule (Germany). Fachbereich 4 - Mathematik

January 1987

SIGLETIB: RN 2394 (1058) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

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...

Beschreibung des Modellaufbaus eines Netzkupplungsumrichters

Sezi, T.
Spielbauer, H.
Berlin Technische Univ. (Germany). Inst. fuer Allgemeine Elektrotechnik

January 1985

SIGLETIB: RA 3123 (121) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Vorhersage der Erdrotationsparameter mit Hilfe Neuronaler Netze

Ulrich, M.

January 2000

Available from TIB Hannover: RS 2101(9) / 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...

Untersuchungen an Petri-Netzen mit vorgegebener Schaltzeit und Schaltzeitkapazitaet (ZK-Netze)

Sepehr, H.
Hamburg Univ. (Germany). Fachbereich Informatik

January 1984

SIGLETIB: RN 3437 (102) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Abbildung von ProC/B nach Petri Netzen. Version 2

Fischer, M.
Kemper, P.
Tepper, C.
Wu Zenghui
Dortmund Univ. (Germany). Sonderforschungsbereich 559 - Modellierung grosser Netze in der Logistik

January 2003

Available from TIB Hannover: RS 3747(3011) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Building structured Petri nets

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

January 1986

SIGLETIB: RN 9844 (223) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

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...

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...

Der Petrinetz-Kern. Version 1.0 Dokumentation der Anwendungsschnittstelle

Hauptmann, J.
Hohberg, B.
Kindler, E.
Schwenzer, I.
Weber, M.
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 1998

SIGLEAvailable from TIB Hannover: RR 2036(98) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Netzplantechnik mit Sinet Verfahrensbeschreibung

Mueller-Ettrich, R.
Siemens A.G., Muenchen (Germany, F.R.). Bereich Daten- und Informationssysteme

January 1981

Technische Informationsbibliothek Hannover: RA 2498 (220) / FIZ - Fachinformationszzentrum Karlsruhe...

Allgemeine Petri-Netze als Hilfsmittel zur Analyse von Systemen

Westphal, I.

January 1981

SIGLETIB: AC 7909 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbiblioth...

Bewertungsfunktionen in Schachprogrammen

Steinwender, D.
Hamburg Univ. (Germany). Fachbereich 18 - Informatik

January 1984

SIGLETIB: RN 3437 (109) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Operational Petri net semantics for CCSP

Olderog, E.R.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1987

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

Bedeutungen von Begriffsverbaenden

Wille, R.
Darmstadt Technische Hochschule (Germany). Fachbereich 4 - Mathematik

January 1987

SIGLETIB: RN 2394 (1058) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

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...

Beschreibung des Modellaufbaus eines Netzkupplungsumrichters

Sezi, T.
Spielbauer, H.
Berlin Technische Univ. (Germany). Inst. fuer Allgemeine Elektrotechnik

January 1985

SIGLETIB: RA 3123 (121) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Vorhersage der Erdrotationsparameter mit Hilfe Neuronaler Netze

Ulrich, M.

January 2000

Available from TIB Hannover: RS 2101(9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisch...

Die Petri Netz Beschreibungssprache PeLan Version 5.0

Abstract

Extracted data

Die Petri Netz Beschreibungssprache PeLan Version 5.0

Abstract

Extracted data

Related items

Related items