UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 52

Sortiert nach

A structuring mechanism for Petri nets

Kiehn, Astrid

1989

Signatur: D483

High level Petri nets : theory and application

Jensen, Kurt[Herausgeber]

1991

Signatur: TVG1376

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

2003

Signatur: TVG1627

Lectures on Petri nets : advances in Petri nets

Lecture notes in computer science : ...

Reisig, Wolfgang[Herausgeber]

1998-

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

Monographs in theoretical computer science: an EATCS series

Jensen, Kurt

1992-

Signatur: TVG1392-...

Coloured petri nets : modelling and validation of concurrent systems

2009

Signatur: TVG1685

Stochastic Petri nets : an introduction to the theory

2. ed, 2002

Signatur: TVG1732(2)

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

Hardware design and Petri nets

Yakovlev, Alex[Herausgeber]

2000

Signatur: TWH2698

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

Elements of distributed algorithms : modeling and analysis with Petri nets

Reisig, Wolfgang

1998

Signatur: TVG1512

Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002 : 9. - 11. Oktober 2002 in Potsdam ; [Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihrer Fachgruppen "Petrinetze und Verwandte Systemmodelle" und " Entwicklungsmethoden für Informationssysteme und deren Anwendung" (EMISA)

GI-Edition : Proceedings : 21 (Alle Bände)

Desel, Jörg[Herausgeber]

2002

Signatur: TTQ022362

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

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

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

Concurrency and nets : advances in Petri nets

Voss, Klaus[Herausgeber]

1987

Signatur: TTQP1004

Nonsequential processes : a Petri net view

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

1988

Signatur: TVG1237

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

Engineering online library

Ost, Alexander

2001

Signatur: YCB6150

Application of Petri Nets to Communication Networks : Advances in Petri Nets [Elektronische Ressource]

1999

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

The finite representation of abstract programs by automata and Petri nets

Taubner, Dirk A

1988

Signatur: D460

Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings [Elektronische Ressource]

2011

Modelling, analysis, and design of hybrid systems

Lecture notes in control and information sciences : 279 (Alle Bände), Engineering online library

Engell, Sebastian[Herausgeber]

2002

Signatur: TWG7596

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

Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings [Elektronische Ressource]

2014

1 – 25 von 52

Suche als RSS-Feed

Aktive Filter

SpracheEnglisch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(28)
Gedruckt
(24)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(52)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(1)

Systemstelle

TVG
(13)
TUF
(2)
64
(1)
TTQ
(1)
TTQP
(1)
TVI
(1)
TWG
(1)
TWH
(1)
TWY
(1)
TZC
(1)
YCB
(1)

6 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

A structuring mechanism for Petri nets

High level Petri nets : theory and application

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

Lectures on Petri nets : advances in Petri nets

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

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

Coloured petri nets : modelling and validation of concurrent systems

Stochastic Petri nets : an introduction to the theory

Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets

Hardware design and Petri nets

On Deadlocks in concurrent systems: a Petri net based approach for Deadlock prediction and avoidance

Elements of distributed algorithms : modeling and analysis with Petri nets

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

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

Concurrency and nets : advances in Petri nets

Nonsequential processes : a Petri net view

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

Application of Petri Nets to Communication Networks : Advances in Petri Nets [Elektronische Ressource]

The finite representation of abstract programs by automata and Petri nets

Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings [Elektronische Ressource]

Modelling, analysis, and design of hybrid systems

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

Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern