UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 36

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

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

Coloured Petri nets (Alle Bände)

Jensen, Kurt

1995

Signatur: TVG1392-2

Verification and control of hybrid systems : a symbolic approach

Tabuada, Paulo

2009

Signatur: TVG1716

A structuring mechanism for Petri nets

Kiehn, Astrid

1989

Signatur: D483

Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen

1975

Signatur: TVG1075

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

Analog-to-digital and digital-to-analog conversion techniques

A Wiley-Interscience publication

Hoeschele, David F

2. ed, 1994

Signatur: TVG1033(2)

A probabilistic theory of causality

Acta philosophica Fennica : 24 (Alle Bände)

Suppes, Patrick

1970

Signatur: M38129

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

Monographs in theoretical computer science: an EATCS series

Jensen, Kurt

1992-

Signatur: TVG1392-...

Approximate analysis methods for stochastic process algebras

Mertsiotakis, Vassilios

1998

Signatur: D12298

Embedded core design with FPGAs. CD-ROM

Embedded core design with FPGAs (Alle Bände)

Navabi, Zainalabedin

2007

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

Petri nets : an introduction

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

Reisig, Wolfgang

1985

Signatur: TVG1122-EN

Control using logic based switching

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

Morse, A. Stephen[Herausgeber]

1997

Signatur: TVG1473

Solving higher order equations : from logic to programming

Progress in theoretical computer science : 19 (Alle Bände)

Prehofer, Christian

1998

Signatur: TVG1601

The mathematics of petri nets

Reutenauer, Christophe

1. [Dr.], 1990

Signatur: TVG1326

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

The mathematical theory of nonblocking switching networks

Series on applied mathematics : 11 (Alle Bände)

Hwang, Frank K

1999

Signatur: TVG1538

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

Embedded core design with FPGAs

McGraw-Hill electronic engineering

Navabi, Zainalabedin

2007-

High level Petri nets : theory and application

Jensen, Kurt[Herausgeber]

1991

Signatur: TVG1376

Nonsequential processes : a Petri net view

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

1988

Signatur: TVG1237

Modelling with generalized stochastic Petri nets

Wiley series in parallel computing

Marsan, Marco Ajmone

1995

Signatur: TVG1465

Coloured petri nets : modelling and validation of concurrent systems

2009

Signatur: TVG1685

1 – 25 von 36

Suche als RSS-Feed

Aktive Filter

SpracheDeutsch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(36)

Autor / Autorin

Jensen, Kurt
(5)
Navabi, Zainalabedin
(3)
Reisig, Wolfgang
(3)
Best, Eike
(2)
Agaian, S
(1)
Astola, Jaakko T
(1)
Bause, Falko
(1)
Bayarou, Kpatcha M
(1)
Devillers, Raymond
(1)
Egiazarian, Karen
(1)
Fasol, Karl H
(1)
Fernández, César
(1)
Girault, Claude
(1)
Hoeschele, David F
(1)
Hwang, Frank K
(1)
International Workshop on Petri Nets and Performance Models
(1)
Karatkevich, Andrei
(1)
Kiehn, Astrid
(1)
Koutny, Maciej
(1)
Kristensen, Lars M
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(36)

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(29)

Systemstelle

TVG
(36)
TVE
(4)
YGQ
(4)
HIN
(1)
HKO
(1)
HLD
(1)
TBP
(1)
TVI
(1)
TWG
(1)
XVI
(1)
YCG
(1)

6 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

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

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

Verification and control of hybrid systems : a symbolic approach

A structuring mechanism for Petri nets

Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen

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

Analog-to-digital and digital-to-analog conversion techniques

A probabilistic theory of causality

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

Approximate analysis methods for stochastic process algebras

Embedded core design with FPGAs. CD-ROM

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

Petri nets : an introduction

Control using logic based switching

Solving higher order equations : from logic to programming

The mathematics of petri nets

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

The mathematical theory of nonblocking switching networks

Petrinetze : eine Einführung

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

Embedded core design with FPGAs

High level Petri nets : theory and application

Nonsequential processes : a Petri net view

Modelling with generalized stochastic Petri nets

Coloured petri nets : modelling and validation of concurrent systems

Aktive Filter

Suchergebnisse filtern