1 |
|
Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings [E-Book]
|
|
2017 |
500254547
|
.
|
2 |
|
¬Ein¬ Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen [Hochschulschriften]
|
Winkler, Jörg
|
1993 |
|
Regalstandort: ZQ 5400 W775.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
3 |
|
Carl Adam Petri: Eine Biographie [E-Book]
|
Smith, Einar
|
2014 |
|
.
|
4 |
|
Control of Discrete-Event Systems: Automata and Petri Net Perspectives [E-Book]
|
Seatzu, Carla
|
2013 |
500176965
|
.
|
5 |
|
Discrete, Continuous, and Hybrid Petri Nets [E-Book]
|
|
2005 |
|
.
|
6 |
|
Discrete, Continuous, and Hybrid Petri Nets [E-Book]
|
David, René
|
2010 |
|
.
|
7 |
|
Dynamic Analysis of Petri Net-Based Discrete Systems [E-Book]
|
|
2007 |
|
.
|
8 |
|
Entscheidbarkeit bei Petri Netzen: Überblick und Kompendium [E-Book]
|
|
2008 |
|
.
|
9 |
|
Ereignisdiskrete Systeme: Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen ; mit 80 Anwendungsbeispielen und 110 Übungsaufgaben [Buch]
|
Lunze, Jan
|
2006 |
|
Regalstandort: ZQ 5220 L964.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 3.
|
10 |
|
Ereignisdiskrete Systeme: Modellierung und Steuerung verteilter Systeme [Buch]
|
Puente León, Fernando
|
2013 |
|
Regalstandort: ZQ 5220 P977(3).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
11 |
|
High-level Petri nets: theory and application [Buch]
|
|
1991 |
|
Regalstandort: ST 130 J54.
Lit.abteilungen: Freihand.
Verfügbar in: ZB Scheffelstraße.
Anzahl Exemplare: 1.
|
12 |
|
Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen [Hochschulschriften]
|
Ruckdeschel, Wilhelm
|
1997 |
500052076
|
Regalstandort: ZO 1000 V393-335.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
13 |
|
Modellierung und Ausführung von Workflows mit Petri-Netzen [Hochschulschriften]
|
Oberweis, Andreas
|
1996 |
|
Regalstandort: QH 465 O12.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek, ZB Scheffelstraße.
Anzahl Exemplare: 4.
|
14 |
|
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets [E-Book]
|
Brandau, Christoph
|
2019 |
|
.
|
15 |
|
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach [E-Book]
|
|
2007 |
|
.
|
16 |
|
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines [E-Book]
|
|
2006 |
|
.
|
17 |
|
Petri-Netze: Grundlagen, Anwendungen, Theorie [Buch]
|
Starke, Peter H.
|
1980 |
|
Regalstandort: 16 131/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
18 |
|
Petri-Netze: eine anwendungsorientierte Einführung [Buch]
|
Rosenstengel, Bernd
|
1991 |
|
Regalstandort: ST 130 R815(4).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
19 |
|
Petri-Netze [E-Book]
|
|
2008 |
|
.
|
20 |
|
Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien [E-Book]
|
Reisig, Wolfgang
|
2010 |
|
.
|