Petri Nets for Modeling of Large Discrete Systems von Davidrajuh, Reggie

Volltext

Application and theory of Petri nets and concurrency 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, proceedings

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Application and theory of petri nets and concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018 : proceedings

Volltext

Application and theory of petri nets and concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017 : proceedings

Volltext

Transactions on petri nets and other models of concurrency XII

Volltext

Koordination in Supply Networks von Habersetzer, Ludwig 1984-

Ausführliche Beschreibung
Inhaltsverzeichnis

Carl Adam Petri eine Biographie von Smith, Einar

BFB01
BHS01
BTU01
BTW01
FAB01
FAN01
FAW01
FCO01
FFW01
FHA01
FHD01
FHI01
FHM01
FHN01
FHO01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
HWR01
TUM01
UBG01
UBM01
UBT01
UBW01
UBY01
UER01
Volltext
Inhaltsverzeichnis
Abstract

Combining decomposition and unfolding for STG synthesis

kostenfrei

STG decomposition optimised backtracking and component reduction

Volltext

Petri nets in software engineering von Gold, Robert 1962-

Improved decomposition of signal transition graphs

Volltext

Petri nets in software engineering von Gold, Robert 1962-

Volltext

Promise 2002 - Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen 9. - 11. Oktober 2002 in Potsdam ; [Workshop der Gesellschaft für Informatik e...

Volltext
Inhaltsverzeichnis

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets von Brandau, Christoph

BFB01
BHS01
BTU01
BTW01
FAB01
FAN01
FAW01
FCO01
FFW01
FHA01
FHD01
FHI01
FHM01
FHN01
FHO01
FHR01
FKE01
FLA01
FNU01
FRO01
FWS01
FWS02
HTW01
HWR01
TUM01
UBM01
UBT01
UBW01
UBY01
UER01
URL des Erstveröffentlichers

Concurrent implementation of asynchronous transition systems

Volltext

Ereignisdiskrete Systeme Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen : mit 397 Abbildungen, 96 Anwendungsbeispiele und 140 Übungsaufgab... von Lunze, Jan 1952-

FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FWS01
FWS02
TUM01
UBY01
UPA01
FAB01
URL des Erstveröffentlichers

Control of discrete-event systems Automata and petri net perspectives

BTU01
FHA01
FHI01
FHN01
FHR01
FKE01
FWS01
UBY01
Volltext

Petrinetze in der Automatisierungstechnik mit ... 18 Tabellen

Steuerungssysteme anthropomorpher Roboterhände für humanoide Roboter von Osswald, Dirk

Inhaltstext
Inhaltsverzeichnis

Systementwurf mit Simulationsmodellen Anwendergespräch, Univ. Würzburg, 10. 12. 1987