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

PN standardisation: a survey

Hillah, Lom
Kordon, Fabrice
Petrucci, Laure
Trèves, Nicolas

September 2006

International audiencePetri Nets formalism requires standardisation to facilitate the work of resear...

Pn standardisation: a survey

L. Hillah
F. Kordon
L. Petrucci

January 2006

Abstract. Petri Nets formalism requires standardisation to facilitate the work of researchers in thi...

Unifying the syntax and semantics of modular extensions of Petri nets

Marechal Marin, Alexis Ayar

January 2013

Petri nets are a modeling formalism that allows to describe concurrent systems with an intuitive and...

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

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

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

Petri Nets

April 2021

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

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

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

Data encapsulation and data abstraction with petri nets: A graphical visualization of modules

Fricke, O.

January 1997

In this paper, the concepts of data encapsulation and data abstraction are applied to Petri nets. En...

Data encapsulation and date abstraction with petri nets : A graphical visualization of modules

Fricke, O.

January 1997

In this paper, the concepts of data encapsulation and data abstraction are applied to Petri nets. En...

A General Infrastructure for Communication between Petri Modules

Ahmed, MD Suhel

January 2021

Modularization provides many benefits to real-world discrete-event systems, such as flexibility, co...

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

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

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

PN standardisation: a survey

Hillah, Lom
Kordon, Fabrice
Petrucci, Laure
Trèves, Nicolas

September 2006

International audiencePetri Nets formalism requires standardisation to facilitate the work of resear...

Pn standardisation: a survey

L. Hillah
F. Kordon
L. Petrucci

January 2006

Abstract. Petri Nets formalism requires standardisation to facilitate the work of researchers in thi...

Unifying the syntax and semantics of modular extensions of Petri nets

Marechal Marin, Alexis Ayar

January 2013

Petri nets are a modeling formalism that allows to describe concurrent systems with an intuitive and...

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

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

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

Petri Nets

April 2021

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

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

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

Data encapsulation and data abstraction with petri nets: A graphical visualization of modules

Fricke, O.

January 1997

In this paper, the concepts of data encapsulation and data abstraction are applied to Petri nets. En...

Data encapsulation and date abstraction with petri nets : A graphical visualization of modules

Fricke, O.

January 1997

In this paper, the concepts of data encapsulation and data abstraction are applied to Petri nets. En...

A General Infrastructure for Communication between Petri Modules

Ahmed, MD Suhel

January 2021

Modularization provides many benefits to real-world discrete-event systems, such as flexibility, co...

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

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

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

PN standardisation: a survey

Hillah, Lom
Kordon, Fabrice
Petrucci, Laure
Trèves, Nicolas

September 2006

International audiencePetri Nets formalism requires standardisation to facilitate the work of resear...

Pn standardisation: a survey

L. Hillah
F. Kordon
L. Petrucci

January 2006

Abstract. Petri Nets formalism requires standardisation to facilitate the work of researchers in thi...

Unifying the syntax and semantics of modular extensions of Petri nets

Marechal Marin, Alexis Ayar

January 2013

Petri nets are a modeling formalism that allows to describe concurrent systems with an intuitive and...

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items