UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

High level Petri nets : theory and application

Jensen, Kurt[Herausgeber]

1991

Signatur: TVG1376

Petri-Netze aus der Sicht des Ingenieurs

Zuse, Konrad

1980

Signatur: TVG1148

Proceedings of the Fifth International Workshop on Petri Nets and Performance Models : Toulouse, France, October 19 - 22, 1993

International Workshop on Petri Nets and Performance Models

1993

Signatur: XVI931002

Petrinetze : eine Einführung

Studienreihe Informatik

Reisig, Wolfgang

2., überarb. u. erw. Aufl., 2. unveränd. Nachdr, 1991

Signatur: TVG1122(2)

Petri-Netz-Bilder-Buch : (eine elementare Einführung in die beste bildliche Darstellung zeitlicher Veränderungen)

Schneeweiss, Winfrid G

2002

Signatur: TVG1588

The mathematics of petri nets

Reutenauer, Christophe

1. [Dr.], 1990

Signatur: TVG1326

Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien

Studium, Leitfäden der Informatik

Reisig, Wolfgang

1. Aufl, 2010

Signatur: TVG1693

Analyse von Petri-Netz-Modellen

Leitfäden und Monographien der Informatik

Starke, Peter H

1990

Signatur: TVG1342

Petri-Netze : Grundlagen und Anwendungen

Hochschultaschenbuch

Baumgarten, Bernd

2. Aufl, 1996

Signatur: TVG1318(2)

Petri nets for systems engineering : a guide to modeling, verification and applications ; with 9 tables

2003

Signatur: TVG1627

Hierarchische Petrinetze : Beiträge zur Theorie und formale Basis für zugehörige Werkzeuge

Fehling, Rainer

1992

Signatur: TVG1415

A structuring mechanism for Petri nets

Kiehn, Astrid

1989

Signatur: D483

Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen

Berichte aus der Informatik

Knorr, Roger

Als Ms. gedr, 1995

Signatur: TWP6472

Coloured petri nets : modelling and validation of concurrent systems

2009

Signatur: TVG1685

Coloured Petri nets : basic concepts, analysis methods and practical use

Monographs in theoretical computer science: an EATCS series

Jensen, Kurt

1992-

Signatur: TVG1392-...

Starke Färbbarkeit in Petri-Netzen

Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 117 (Alle Bände)

Prinoth, Rainer

1978

Signatur: TUF1018-117

Coloured Petri nets : basic concepts, analysis methods and practical use. 1

Coloured Petri nets (Alle Bände)

Jensen, Kurt

1992

Signatur: TVG1392-1

Anwendungen von Petri-Netzen

Zuse, Konrad

1982

Signatur: TVG1164

Über die Darstellung von CCS-Programmen durch Petrinetze

Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 172 (Alle Bände)

Goltz, Ursula

1988

Signatur: TUF1018-172

Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen

Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 82 (Alle Bände)

Lautenbach, Kurt

1973

Signatur: TUF1018-82

Simulation und Analyse von Steuerungssystemen auf der Basis von Petri-Netzen

Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik : 44 (Alle Bände)

Greim, Thomas

1994

Signatur: DQ1816

Stochastic Petri nets : an introduction to the theory

2. ed, 2002

Signatur: TVG1732(2)

Systementwurf mit Netzen

Springer compass

Reisig, Wolfgang

1985

Signatur: TVG1198

Anwendungen der Netztheorie zur formalen Systemspezifikation

Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 166 (Alle Bände)

Thieler-Mevissen, Gerda

1987

Signatur: TUF1018-166

Erweiterung von Petri-Netzen für den Einsatz in der Wissensverarbeitung

Röbbecke, Michael

1995

Signatur: D11427

1 – 25 von 66

Suche als RSS-Feed

Aktive Filter

Art des MediumsGedruckt

Suchergebnisse filtern

Filter anzeigen

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(66)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(32)
Englisch
(24)

Systemstelle

TVG
(34)
TUF
(12)
TVV
(2)
TWP
(2)
64
(1)
PZV
(1)
QAY
(1)
QBB
(1)
TTQ
(1)
TTQP
(1)
TVA
(1)
TVI
(1)
TVM
(1)
TVX
(1)
TWB
(1)
TWG
(1)
TWH
(1)
TWT
(1)
TWY
(1)
TZC
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

High level Petri nets : theory and application

Petri-Netze aus der Sicht des Ingenieurs

Proceedings of the Fifth International Workshop on Petri Nets and Performance Models : Toulouse, France, October 19 - 22, 1993

Petrinetze : eine Einführung

Petri-Netz-Bilder-Buch : (eine elementare Einführung in die beste bildliche Darstellung zeitlicher Veränderungen)

The mathematics of petri nets

Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien

Analyse von Petri-Netz-Modellen

Petri-Netze : Grundlagen und Anwendungen

Petri nets for systems engineering : a guide to modeling, verification and applications ; with 9 tables

Hierarchische Petrinetze : Beiträge zur Theorie und formale Basis für zugehörige Werkzeuge

A structuring mechanism for Petri nets

Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen

Coloured petri nets : modelling and validation of concurrent systems

Coloured Petri nets : basic concepts, analysis methods and practical use

Starke Färbbarkeit in Petri-Netzen

Coloured Petri nets : basic concepts, analysis methods and practical use. 1

Anwendungen von Petri-Netzen

Über die Darstellung von CCS-Programmen durch Petrinetze

Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen

Simulation und Analyse von Steuerungssystemen auf der Basis von Petri-Netzen

Stochastic Petri nets : an introduction to the theory

Systementwurf mit Netzen

Anwendungen der Netztheorie zur formalen Systemspezifikation

Erweiterung von Petri-Netzen für den Einsatz in der Wissensverarbeitung

Aktive Filter

Suchergebnisse filtern