UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 32

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

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

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

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

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

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

Starke Färbbarkeit in Petri-Netzen

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

Prinoth, Rainer

1978

Signatur: TUF1018-117

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

Ü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

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

Lectures on Petri nets : advances in Petri nets

Lecture notes in computer science : ...

Reisig, Wolfgang[Herausgeber]

1998-

Verfahren für den Entwurf heterogener paralleler Algorithmen

Reske, Andreas

1995

Signatur: D11437

Theorie und Anwendung constraintbasierter Planungsverfahren

Berichte aus der Informatik

Pontow, Stephan

Als Ms. gedr, 2000

Signatur: M25246

A structuring mechanism for Petri nets

Kiehn, Astrid

1989

Signatur: D483

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

Entwicklung einer Methode zur parallelen verteilten ereignisgesteuerten Simulation von stochastischen Petri-Netzen : = Developing a method for parallel distributed event simulation of stochastic Petri nets

Berichte aus der Informatik

Bayarou, Kpatcha M

2002

Signatur: TVG1570

The control of parallel computations by labeled Petri nets : a study in terms of multiple firing automata and parallel program schemata

Riedemann, Eike Hagen

1979

Signatur: DQ202

Äquivalenzuntersuchungen an diskreten Systemen im Petrinetz-Modell

Kosack, Peter

1989

Signatur: D5774

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

Röbbecke, Michael

1995

Signatur: D11427

1 – 25 von 32

Suche als RSS-Feed

Aktive Filter

Art des InhaltsSonstiges

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(32)

Autor / Autorin

Bayarou, Kpatcha M
(1)
Best, Eike
(1)
Braßler, Axel
(1)
Cacutalua, Ndombe
(1)
Desel, Jörg
(1)
Fehling, Rainer
(1)
Goltz, Ursula
(1)
Greim, Thomas
(1)
Hartung, Carl Georg
(1)
Haverkort, Boudewijn R
(1)
International Workshop on Petri Nets and Performance Models
(1)
Jensen, Kurt
(1)
Kiehn, Astrid
(1)
Knorr, Roger
(1)
Kosack, Peter
(1)
Lautenbach, Kurt
(1)
Linz, Reinhard
(1)
Ost, Alexander
(1)
Pontow, Stephan
(1)
Prinoth, Rainer
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(32)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(15)
Englisch
(11)

Systemstelle

TUF
(10)
TVG
(9)
64
(1)
PZV
(1)
QAY
(1)
TTQP
(1)
TVA
(1)
TVV
(1)
TVX
(1)
TWB
(1)
TWP
(1)
TWT
(1)
WGN
(1)
XVI
(1)
YCB
(1)
YCG
(1)

11 weitere anzeigen...

Weniger anzeigen...

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

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

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

Starke Färbbarkeit in Petri-Netzen

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

Ü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

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

Lectures on Petri nets : advances in Petri nets

Verfahren für den Entwurf heterogener paralleler Algorithmen

Theorie und Anwendung constraintbasierter Planungsverfahren

A structuring mechanism for Petri nets

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

Entwicklung einer Methode zur parallelen verteilten ereignisgesteuerten Simulation von stochastischen Petri-Netzen : = Developing a method for parallel distributed event simulation of stochastic Petri nets

The control of parallel computations by labeled Petri nets : a study in terms of multiple firing automata and parallel program schemata

Äquivalenzuntersuchungen an diskreten Systemen im Petrinetz-Modell

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

Aktive Filter

Suchergebnisse filtern