UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 31

Sortiert nach

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

Coloured Petri nets (Alle Bände)

Jensen, Kurt

1992

Signatur: TVG1392-1

Programmierung einer Klasse von Multiprozessorsystemen mit höheren Petri-Netzen

Hochschultexte Informatik : 3 (Alle Bände)

Hartung, Carl Georg

1988

Signatur: TVG1245

Nonsequential processes : a Petri net view

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

1988

Signatur: TVG1237

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

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

Informatik-Fachberichte : 197 (Alle Bände)

1989

Signatur: TVG1261

Dynamic analysis of Petri net-based discrete systems

Lecture notes in control and information sciences : 356 (Alle Bände)

Karatkevich, Andrei

2007

Signatur: TVG1651

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

Systementwurf mit Netzen

Springer compass

Reisig, Wolfgang

1985

Signatur: TVG1198

Petri-Netze in der Steuerungs- und Digitaltechnik

1988

Signatur: TVG1279

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

Abel, Dirk

1990

Signatur: TVG1384

Petri-Netze in der Steuerungstechnik

1. Aufl, 1988

Signatur: TVG1300

A structuring mechanism for Petri nets

Kiehn, Astrid

1989

Signatur: D483

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

Monographs in theoretical computer science: an EATCS series

Jensen, Kurt

1992-

Signatur: TVG1392-...

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)

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

Röbbecke, Michael

1995

Signatur: D11427

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

Coloured petri nets : modelling and validation of concurrent systems

2009

Signatur: TVG1685

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

Fehling, Rainer

1992

Signatur: TVG1415

Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien

Studium, Leitfäden der Informatik

Reisig, Wolfgang

1. Aufl, 2010

Signatur: TVG1693

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

2003

Signatur: TVG1627

1 – 25 von 31

Suche als RSS-Feed

Aktive Filter

SchlagwortSoftware engineering

SchlagwortStochastisches Petri-Netz

SystemstelleTVG

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(31)

Autor / Autorin

Jensen, Kurt
(4)
Reisig, Wolfgang
(4)
König, Rainer
(2)
Priese, Lutz
(2)
Quäck, Lothar
(2)
Wimmel, Harro
(2)
Zuse, Konrad
(2)
Abel, Dirk
(1)
Baumgarten, Bernd
(1)
Best, Eike
(1)
Eggert, Horst
(1)
Fehling, Rainer
(1)
Fernández, César
(1)
Girault, Claude
(1)
Hartung, Carl Georg
(1)
International Workshop on Petri Nets and Performance Models
(1)
Karatkevich, Andrei
(1)
Kiehn, Astrid
(1)
Kosack, Peter
(1)
Kristensen, Lars M
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(31)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(16)
Englisch
(11)

Systemstelle

TVI
(1)
WFM
(1)
XVI
(1)
YCG
(1)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

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

Programmierung einer Klasse von Multiprozessorsystemen mit höheren Petri-Netzen

Nonsequential processes : a Petri net view

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

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

Dynamic analysis of Petri net-based discrete systems

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

Systementwurf mit Netzen

Petri-Netze in der Steuerungs- und Digitaltechnik

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

Petri-Netze in der Steuerungstechnik

A structuring mechanism for Petri nets

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

Analyse von Petri-Netz-Modellen

The mathematics of petri nets

Petrinetze : eine Einführung

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

High level Petri nets : theory and application

Petri-Netze aus der Sicht des Ingenieurs

Petri-Netze : Grundlagen und Anwendungen

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

Coloured petri nets : modelling and validation of concurrent systems

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

Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien

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

Aktive Filter

Suchergebnisse filtern