UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 28

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

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

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

Ü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

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

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

Röbbecke, Michael

1995

Signatur: D11427

Concurrency and nets : advances in Petri nets

Voss, Klaus[Herausgeber]

1987

Signatur: TTQP1004

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

Fehling, Rainer

1992

Signatur: TVG1415

Performance of communication systems : a model based approach with matrix geometric methods

Engineering online library

Ost, Alexander

2001

Signatur: YCB6150

Datengetriebene parallelisierte Ablaufsteuerung für die automatisierte industrielle Bildverarbeitung

Schumann, Maik

2012

Signatur: TVV19168

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

1 – 25 von 28

Suche als RSS-Feed

Aktive Filter

Art des InhaltsSonstiges

Systemstelle64

SchlagwortGefärbtes Petri-Netz

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(28)

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)
International Workshop on Petri Nets and Performance Models
(1)
Kiehn, Astrid
(1)
Kosack, Peter
(1)
Lautenbach, Kurt
(1)
Linz, Reinhard
(1)
Ost, Alexander
(1)
Pontow, Stephan
(1)
Reisig, Wolfgang
(1)
Reske, Andreas
(1)
Riedemann, Eike Hagen
(1)
Röbbecke, Michael
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(28)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(14)
Englisch
(9)

Systemstelle

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

9 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

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)

Ü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

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

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

Concurrency and nets : advances in Petri nets

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

Performance of communication systems : a model based approach with matrix geometric methods

Datengetriebene parallelisierte Ablaufsteuerung für die automatisierte industrielle Bildverarbeitung

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

Aktive Filter

Suchergebnisse filtern