UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 32

Sortiert nach

Analyse von Petri-Netz-Modellen

Leitfäden und Monographien der Informatik

Starke, Peter H

1990

Signatur: TVG1342

The mathematics of petri nets

Reutenauer, Christophe

1. [Dr.], 1990

Signatur: TVG1326

Petrinetze : eine Einführung

Studienreihe Informatik

Reisig, Wolfgang

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

Signatur: TVG1122(2)

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

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

2003

Signatur: TVG1627

Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien

Studium, Leitfäden der Informatik

Reisig, Wolfgang

1. Aufl, 2010

Signatur: TVG1693

Petri-Netze : Grundlagen und Anwendungen

Hochschultaschenbuch

Baumgarten, Bernd

2. Aufl, 1996

Signatur: TVG1318(2)

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

Schneeweiss, Winfrid G

2002

Signatur: TVG1588

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

Systementwurf mit Netzen

Springer compass

Reisig, Wolfgang

1985

Signatur: TVG1198

Stochastic Petri nets : an introduction to the theory

2. ed, 2002

Signatur: TVG1732(2)

Anwendungen von Petri-Netzen

Zuse, Konrad

1982

Signatur: TVG1164

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Informatik-Fachberichte : 197 (Alle Bände)

1989

Signatur: TVG1261

Hardware design and Petri nets

Yakovlev, Alex[Herausgeber]

2000

Signatur: TWH2698

Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme

Abel, Dirk

1990

Signatur: TVG1384

Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002 : 9. - 11. Oktober 2002 in Potsdam ; [Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihrer Fachgruppen "Petrinetze und Verwandte Systemmodelle" und " Entwicklungsmethoden für Informationssysteme und deren Anwendung" (EMISA)

GI-Edition : Proceedings : 21 (Alle Bände)

Desel, Jörg[Herausgeber]

2002

Signatur: TTQ022362

Modellierung und Ausführung von Workflows mit Petri-Netzen

Teubner-Reihe Wirtschaftsinformatik

Oberweis, Andreas

1996

Signatur: TVV13366

Direkte und indirekte Wirkungen rechnergestützter Fertigungssysteme : formalisierte Netzstrukturen zur Darstellung und Analyse der Unternehmung

Beiträge zur Wirtschaftsinformatik : 15 (Alle Bände)

Reuter, Bärbel

1995

Signatur: QBB7001

Elements of distributed algorithms : modeling and analysis with Petri nets

Reisig, Wolfgang

1998

Signatur: TVG1512

Petri-Netze in der Steuerungs- und Digitaltechnik

1988

Signatur: TVG1279

Nets, terms and formulas : three views of concurrent processes and their relationship

Cambridge tracts in theoretical computer science : 23 (Alle Bände)

Olderog, Ernst-Rüdiger

1991

Signatur: TVG1368

Nonsequential processes : a Petri net view

EATCS monographs on theoretical computer science : 13 (Alle Bände)

1988

Signatur: TVG1237

Petri-Netze in der Steuerungstechnik

1. Aufl, 1988

Signatur: TVG1300

Modelling with generalized stochastic Petri nets

Wiley series in parallel computing

Marsan, Marco Ajmone

1995

Signatur: TVG1465

1 – 25 von 32

Suche als RSS-Feed

Aktive Filter

Art des InhaltsSonstiges

Art des MediumsGedruckt

SchlagwortGefärbtes Petri-Netz

Suchergebnisse filtern

Filter anzeigen

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(32)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(17)
Englisch
(11)

Systemstelle

TVG
(23)
TUF
(2)
QBB
(1)
TTQ
(1)
TVI
(1)
TVM
(1)
TVV
(1)
TWG
(1)
TWH
(1)
TWP
(1)
TWY
(1)
TZC
(1)
WFM
(1)
ZHV
(1)

9 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Analyse von Petri-Netz-Modellen

The mathematics of petri nets

Petrinetze : eine Einführung

High level Petri nets : theory and application

Petri-Netze aus der Sicht des Ingenieurs

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

Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien

Petri-Netze : Grundlagen und Anwendungen

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

Anwendungen der Netztheorie zur formalen Systemspezifikation

Systementwurf mit Netzen

Stochastic Petri nets : an introduction to the theory

Anwendungen von Petri-Netzen

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Hardware design and Petri nets

Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme

Modellierung und Ausführung von Workflows mit Petri-Netzen

Direkte und indirekte Wirkungen rechnergestützter Fertigungssysteme : formalisierte Netzstrukturen zur Darstellung und Analyse der Unternehmung

Elements of distributed algorithms : modeling and analysis with Petri nets

Petri-Netze in der Steuerungs- und Digitaltechnik

Nets, terms and formulas : three views of concurrent processes and their relationship

Nonsequential processes : a Petri net view

Petri-Netze in der Steuerungstechnik

Modelling with generalized stochastic Petri nets

Aktive Filter

Suchergebnisse filtern