UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 29

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

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

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

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

Elements of distributed algorithms : modeling and analysis with Petri nets

Reisig, Wolfgang

1998

Signatur: TVG1512

The finite representation of abstract programs by automata and Petri nets

Taubner, Dirk A

1988

Signatur: D460

Coloured petri nets : modelling and validation of concurrent systems

2009

Signatur: TVG1685

Dynamic analysis of Petri net-based discrete systems

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

Karatkevich, Andrei

2007

Signatur: TVG1651

Embedded core design with FPGAs. Buch

Embedded core design with FPGAs (Alle Bände)

Navabi, Zainalabedin

2007

Signatur: TVE3734

Control of discrete-event systems : automata and Petri net perspectives

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

Seatzu, Carla[Herausgeber]

2013

Signatur: TVG1724

Run time reconfigurable co-emulation for hardware assisted functional verification and test of FPGA designs

Computing science

Siripokarpirom, Rawat

2007

Signatur: TVE3726

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

2003

Signatur: TVG1627

1 – 25 von 29

Suche als RSS-Feed

Aktive Filter

ErscheinungsformMonographie

SpracheEnglisch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(29)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Systemstelle

TVG
(29)
TVE
(4)
YGQ
(4)
HIN
(1)
HKO
(1)
HLD
(1)
TBP
(1)
TVI
(1)
TWG
(1)

4 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

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

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

The mathematical theory of nonblocking switching networks

Embedded core design with FPGAs

High level Petri nets : theory and application

Nonsequential processes : a Petri net view

Elements of distributed algorithms : modeling and analysis with Petri nets

The finite representation of abstract programs by automata and Petri nets

Coloured petri nets : modelling and validation of concurrent systems

Dynamic analysis of Petri net-based discrete systems

Embedded core design with FPGAs. Buch

Control of discrete-event systems : automata and Petri net perspectives

Run time reconfigurable co-emulation for hardware assisted functional verification and test of FPGA designs

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

Aktive Filter

Suchergebnisse filtern