UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 25

Sortiert nach

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

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

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

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

Petri net algebra

Monographs in theoretical computer science

2001

Signatur: TVG1546

The magic garden of George B and other logic puzzles

Smullyan, Raymond M

2015

Signatur: TVG1740

Stochastic Petri nets : an introduction to the theory

2. ed, 2002

Signatur: TVG1732(2)

Binary polynomial transforms and nonlinear digital filters

Monographs and textbooks in pure and applied mathematics : 191 (Alle Bände)

1. print, 1995

Signatur: TVG1449

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

1 – 25 von 25

Suche als RSS-Feed

Aktive Filter

Art des InhaltsNicht angegeben

SpracheEnglisch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(25)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(25)

Erscheinungsjahr

n.n

Neu hinzugefügt

Systemstelle

TVG
(25)
TVE
(2)
YGQ
(2)
HIN
(1)
HKO
(1)
HLD
(1)
TBP
(1)
TVI
(1)
TWG
(1)

4 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Sonstiges
(19)
Hochschulschrift (Sonstige)
(6)

Menü

Weitere Dienste

Einstellungen

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

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

Coloured petri nets : modelling and validation of concurrent systems

Dynamic analysis of Petri net-based discrete systems

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

Petri net algebra

The magic garden of George B and other logic puzzles

Stochastic Petri nets : an introduction to the theory

Binary polynomial transforms and nonlinear digital filters

Elements of distributed algorithms : modeling and analysis with Petri nets

The finite representation of abstract programs by automata and Petri nets

Aktive Filter

Suchergebnisse filtern