On the semantics of Petri nets

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

Deriving unbounded Petri nets from formal languages

Darondeau, Philippe
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes - Projet ParagrapheSIGLEAvailable from INIST (FR), Document Supply Ser...

Operational semantics for Petri net components

Groote, J.F.
Voorhoeve, M.

January 2003

Abstract We develop a theory for net components with labeled interface places and transitions. Nets ...

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

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

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

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

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

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

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

On the Algebraic Structure of Petri Nets

Sassone, V.

January 2000

This paper retraces, collects, and summarises the contributions of the author --- both individually ...

Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

Jensen, Kurt
Schmidt, Erik Meineche

January 1985

This paper describes the formal semantics of a subset of PASCAL by means of a semantic model based o...

Generating a Petri net from a CSP specification: a semantics-based method

Llorens Agost, María Luisa
Oliver Villarroya, Javier
Silva Galiana, Josep Francesc
Tamarit Muñoz, Salvador

January 2012

[EN] The specification and simulation of complex concurrent systems is a difficult task due to the i...

Definitons of Petri net - part

Waldemar Korczyński

January 1992

Summary. In the paper the classical definition of Petri net is described. The article also contains ...

Petri Nets

April 2021

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

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

Deriving unbounded Petri nets from formal languages

Darondeau, Philippe
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes - Projet ParagrapheSIGLEAvailable from INIST (FR), Document Supply Ser...

Operational semantics for Petri net components

Groote, J.F.
Voorhoeve, M.

January 2003

Abstract We develop a theory for net components with labeled interface places and transitions. Nets ...

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

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

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

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

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

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

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

On the Algebraic Structure of Petri Nets

Sassone, V.

January 2000

This paper retraces, collects, and summarises the contributions of the author --- both individually ...

Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

Jensen, Kurt
Schmidt, Erik Meineche

January 1985

This paper describes the formal semantics of a subset of PASCAL by means of a semantic model based o...

Generating a Petri net from a CSP specification: a semantics-based method

Llorens Agost, María Luisa
Oliver Villarroya, Javier
Silva Galiana, Josep Francesc
Tamarit Muñoz, Salvador

January 2012

[EN] The specification and simulation of complex concurrent systems is a difficult task due to the i...

Definitons of Petri net - part

Waldemar Korczyński

January 1992

Summary. In the paper the classical definition of Petri net is described. The article also contains ...

Petri Nets

April 2021

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

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

Deriving unbounded Petri nets from formal languages

Darondeau, Philippe
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes - Projet ParagrapheSIGLEAvailable from INIST (FR), Document Supply Ser...

Operational semantics for Petri net components

Groote, J.F.
Voorhoeve, M.

January 2003

Abstract We develop a theory for net components with labeled interface places and transitions. Nets ...

On the semantics of Petri nets

Abstract

Extracted data

On the semantics of Petri nets

Abstract

Extracted data

Related items

Related items