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)

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

On the semantics of Petri nets

Reisig, W.
Hamburg Univ. (Germany). Fachbereich Informatik

January 1984

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

A class of composable high level petri nets. An M-net semantics of B(PN)"2

Klaudel, H. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique)
UPVM, Equipe d'Informatique Fondamentale, 94 - Creteil (France))
Hopkins, R.P. (Newcastle Univ., NSW (Australia). Dept. of Electrical Engineering and Computer Science)
Fraczak, W.
Best, E. (Hildesheim Univ. (Germany). Inst. fuer Informatik)
Fleischhack, H. (Oldenburg Univ. (Germany). Fachbereich 10 - Informatik)
Hildesheim Univ. (Germany). Inst. fuer Informatik
Pelz, E. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique

January 1995

Available from TIB Hannover: RO 8347(1995,10)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

The Petri Net Baukasten 2nd Installment1 1This work is part of the joint research project “DFG-Forschergruppe Petrinetz-Technologie” between H. Weber (Coordinator), H. Ehrig (both from the Techinical University Berlin) and W. Reisig (Humboldt-Universität zu Berlin), supported by the German Research Council (DFG).

Dehnert, J.
Gajewsky, M.
Lembke, S.
Weber, H.

July 2001

AbstractPetri nets are a subject of interest to researchers since more than 30 years. They became po...

A universal module concept for Petri Nets An implementation-oriented approach

Kindler, E. (Katholische Univ., Eichstaett (Germany). Mathematisch-Geographische Fakultaet)
Weber, M. (Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik)
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 2001

SIGLEAvailable from TIB Hannover: RR 2036(150) / 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...

Database theory - Petri net theory - workflow theory

Kindler, E.
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 1998

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

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

Die Petri Netz Beschreibungssprache PeLan Version 5.0

Steinmetz, R.
Villmow, A.
Darmstadt Technische Hochschule (Germany). Inst. fuer Uebertragungstechnik und Elektroakustik

January 1985

SIGLETIB: RN 2251 (115) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Some algebraic concepts of a Petri-net based specification language and their initial semantics

Schmidt, H.W. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.). Inst. fuer Systemtechnik)
Kreowski, H.J. (Bremen Univ. (Germany, F.R.). Fachbereich Mathematik und Informatik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1983

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

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

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

Petri Nets

April 2021

Petri Nets are graphical and mathematical tool used in many different science domains. Their charact...

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

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

On the semantics of Petri nets

Reisig, W.
Hamburg Univ. (Germany). Fachbereich Informatik

January 1984

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

A class of composable high level petri nets. An M-net semantics of B(PN)"2

Klaudel, H. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique)
UPVM, Equipe d'Informatique Fondamentale, 94 - Creteil (France))
Hopkins, R.P. (Newcastle Univ., NSW (Australia). Dept. of Electrical Engineering and Computer Science)
Fraczak, W.
Best, E. (Hildesheim Univ. (Germany). Inst. fuer Informatik)
Fleischhack, H. (Oldenburg Univ. (Germany). Fachbereich 10 - Informatik)
Hildesheim Univ. (Germany). Inst. fuer Informatik
Pelz, E. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique

January 1995

Available from TIB Hannover: RO 8347(1995,10)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

The Petri Net Baukasten 2nd Installment1 1This work is part of the joint research project “DFG-Forschergruppe Petrinetz-Technologie” between H. Weber (Coordinator), H. Ehrig (both from the Techinical University Berlin) and W. Reisig (Humboldt-Universität zu Berlin), supported by the German Research Council (DFG).

Dehnert, J.
Gajewsky, M.
Lembke, S.
Weber, H.

July 2001

AbstractPetri nets are a subject of interest to researchers since more than 30 years. They became po...

A universal module concept for Petri Nets An implementation-oriented approach

Kindler, E. (Katholische Univ., Eichstaett (Germany). Mathematisch-Geographische Fakultaet)
Weber, M. (Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik)
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 2001

SIGLEAvailable from TIB Hannover: RR 2036(150) / 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...

Database theory - Petri net theory - workflow theory

Kindler, E.
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 1998

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

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

Die Petri Netz Beschreibungssprache PeLan Version 5.0

Steinmetz, R.
Villmow, A.
Darmstadt Technische Hochschule (Germany). Inst. fuer Uebertragungstechnik und Elektroakustik

January 1985

SIGLETIB: RN 2251 (115) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Some algebraic concepts of a Petri-net based specification language and their initial semantics

Schmidt, H.W. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.). Inst. fuer Systemtechnik)
Kreowski, H.J. (Bremen Univ. (Germany, F.R.). Fachbereich Mathematik und Informatik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1983

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

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

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

Petri Nets

April 2021

Petri Nets are graphical and mathematical tool used in many different science domains. Their charact...

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

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

On the semantics of Petri nets

Reisig, W.
Hamburg Univ. (Germany). Fachbereich Informatik

January 1984

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

A class of composable high level petri nets. An M-net semantics of B(PN)"2

Klaudel, H. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique)
UPVM, Equipe d'Informatique Fondamentale, 94 - Creteil (France))
Hopkins, R.P. (Newcastle Univ., NSW (Australia). Dept. of Electrical Engineering and Computer Science)
Fraczak, W.
Best, E. (Hildesheim Univ. (Germany). Inst. fuer Informatik)
Fleischhack, H. (Oldenburg Univ. (Germany). Fachbereich 10 - Informatik)
Hildesheim Univ. (Germany). Inst. fuer Informatik
Pelz, E. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique

January 1995

Available from TIB Hannover: RO 8347(1995,10)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

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)

Abstract

Extracted data

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)

Abstract

Extracted data

Related items

Related items