UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 72

Sortiert nach

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

Hochschultexte Informatik : 3 (Alle Bände)

Hartung, Carl Georg

1988

Signatur: TVG1245

Organisationsplanung mit Petri-Netzen : ein integrativ-methodisches Konzept zur Simulation von Organisationsstrukturen

Betriebsinformatik - Beiträge aus Forschung und Praxis : 6 (Alle Bände)

Schmidt, Christian

1992

Signatur: PZV10558

Nonsequential processes : a Petri net view

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

1988

Signatur: TVG1237

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

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

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

Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

Teubner-Texte zur Informatik : 26 (Alle Bände)

Desel, Jörg

1998

Signatur: TVA2704

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

Performance and dependability techniques and tools : selected papers of the recent 11th International Conference on Modelling Tools and Techniques for Computer Performance Evaluation (TOOLS 2000) and the Fourth IEEE International Performance and Dependability Symposium (IPDS 2000), which were both hosted by Motorola in their Galvin Center in Schaumburg, a suburb of Chicago, 27 - 30 March 2000

Performance evaluation : 44 (Alle Bände)

Haverkort, Boudewijn R[Herausgeber]

2001

Signatur: 64p2

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

Ein netztheoretisches Modell zur quantitativen Analyse von Systemen (Q-Modell)

BERICHTE DER GESELLSCHAFT FUER MATHEMATIK UND DATENVERARBEITUNG : 149 (Alle Bände)

Tazza, Maurizio

1985

Signatur: TUF1018-149

Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri-Netzen

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

Pascoletti, Karl-Heinz

1986

Signatur: TUF1018-160

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

Ü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

Kausale Semantik nichtsequentieller Programme

GMD-Bericht : 174 (Alle Bände)

Best, Eike

1989

Signatur: TUF1018-174

Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets

GMD-Bericht : 176 (Alle Bände)

Schmidt, Heinz W

1989

Signatur: TUF1018-176

Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme

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

Smith, Einar

1989

Signatur: TUF1018-180

Zur Semantik graphbasierter Modellierungsmethoden

GMD-Bericht : 186 (Alle Bände)

Strack, Veronika

1990

Signatur: TUF1018-186

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

Informatik-Fachberichte : 197 (Alle Bände)

1989

Signatur: TVG1261

Grundbegriffe für eine Logik über Ereignisse und Normen : ein semantischer Ansatz auf der Basis von Petrinetzen

GMD-Bericht : 200 (Alle Bände)

Linz, Reinhard

1992

Signatur: TUF1018-200

On Deadlocks in concurrent systems: a Petri net based approach for Deadlock prediction and avoidance

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

Cacutalua, Ndombe

1994

Signatur: TUF1018-221

Modelling, analysis, and design of hybrid systems

Lecture notes in control and information sciences : 279 (Alle Bände), Engineering online library

Engell, Sebastian[Herausgeber]

2002

Signatur: TWG7596

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

1 – 25 von 72

Suche als RSS-Feed

Aktive Filter

SchlagwortComputational complexity

SchlagwortInformation theory

SchlagwortPetri-Netz

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(57)
Online-Ressource
(15)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(72)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(35)
Englisch
(27)

Systemstelle

TVG
(28)
TUF
(11)
TVV
(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)
TWP
(1)
TWT
(1)
TWY
(1)
TZC
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

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

Organisationsplanung mit Petri-Netzen : ein integrativ-methodisches Konzept zur Simulation von Organisationsstrukturen

Nonsequential processes : a Petri net view

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

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

Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

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

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

Ein netztheoretisches Modell zur quantitativen Analyse von Systemen (Q-Modell)

Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri-Netzen

Anwendungen der Netztheorie zur formalen Systemspezifikation

Über die Darstellung von CCS-Programmen durch Petrinetze

Kausale Semantik nichtsequentieller Programme

Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets

Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme

Zur Semantik graphbasierter Modellierungsmethoden

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

Grundbegriffe für eine Logik über Ereignisse und Normen : ein semantischer Ansatz auf der Basis von Petrinetzen

On Deadlocks in concurrent systems: a Petri net based approach for Deadlock prediction and avoidance

Modelling, analysis, and design of hybrid systems

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

Aktive Filter

Suchergebnisse filtern