Dialogmodellierung mit Petrinetzen Das FAN-Dialogmodell

Petrinetze eine Einführung
von: Reisig, Wolfgang 1950-
Veröffentlicht: (1990)

Ökobilanzierung mit Petrinetzen
von: Czernik, Johann
Veröffentlicht: (1999)

Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien
von: Reisig, Wolfgang 1950-
Veröffentlicht: (2010)

Ablaufplanung mit Petrinetzen Spezifikation eines entscheidungsorientierten Modellierungsansatzes
von: Sackmann, Dirk
Veröffentlicht: (2003)

Petrinetze und Zustandsgraphen
von: Krieg, Bernd 1970-
Veröffentlicht: (1977)

Zeit und Petrinetze
von: Popova-Zeugmann, Louchka Gueorguieva
Veröffentlicht: (2006)

Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen
von: Ruckdeschel, Wilhelm
Veröffentlicht: (1997)

Validierung eines Petrinetz-basierten Steuerungssystems
von: Vesper, Tobias 1972-, et al.
Veröffentlicht: (1998)

Parametrisierte Erreichbarkeitsanalyse algebraischer Petrinetze
von: Mueller, Mathias
Veröffentlicht: (1996)

Modularer Entwurf verteilter Systeme mit Petrinetzen
von: Kindler, Ekkart
Veröffentlicht: (1995)

Petrinetze in der Automatisierungstechnik mit ... 18 Tabellen
Veröffentlicht: (1992)

A methodology for workflow modeling from business process modeling towards sound workflow specification
von: Siegeris, Juliane 1972-
Veröffentlicht: (2003)

Zur verteilten Implementierung von Petrinetzen
von: Taubner, Dirk
Veröffentlicht: (1988)

Zur verteilten Implementierung von Petrinetzen
von: Taubner, Dirk
Veröffentlicht: (1988)

Gegenüberstellung struktureller Reduktionstechniken für Petrinetze
von: Pillat, Thomas
Veröffentlicht: (2008)

Einsatz von Petrinetzen als Kommunikationsmittel
Veröffentlicht: (1981)

Einsatz von Petrinetzen als Kommunikationsmittel

Gegenbeispielgesteuerte Abstraktionsverfeinerung in High-Öevel-Petrinetzen
von: Salecker, Elke, et al.
Veröffentlicht: (2005)

Realisierung eines optimierten Feldbussystems und Modellierung mit Petrinetzen
von: Schrom, Harald 1970-
Veröffentlicht: (2003)

Strukturbasierte Dekomposition von allgemeinen stochastischen Petrinetzen (GSPN)
von: Ziegler, Peter
Veröffentlicht: (1999)

Petrinetz-Modelle der Dynamik diskreter, technischer Systeme
von: Pohl, Walter
Veröffentlicht: (1980)

Vermeidung von totalen Verklemmungen in bewerteten Petrinetzen
von: Schroff, Reinhold
Veröffentlicht: (1974)

Petrinetz-basierte Beobachtung von Systemzuständen Einsatzmöglichkeiten und Leistungsgrenzen bei der Lenkung von Flughafenverkehr ; 3 Tabellen
von: Huck, Volker
Veröffentlicht: (1993)

Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
von: Desel, Jörg 1959-
Veröffentlicht: (1998)

Über die Darstellung von CCS-Programmen durch Petrinetze
von: Goltz, Ursula
Veröffentlicht: (1988)

Untersuchungen über Petrinetze als Hilfsmittel zur Modellierung neurobiologischer Prozesse
von: Bettges, Ingo
Veröffentlicht: (1992)

Matrizen- und zustandsraumreduzierende Verfahren zur Leisungsbewertung großer stochastischer Petrinetze
von: Freiheit, Jörn
Veröffentlicht: (2002)

Kick-Off-Workshop der DFG-Forschergruppe Petrinetz-Technologie Berlin, 15. Juli 1996
Veröffentlicht: (1996)

Linear-algebraische Methoden zur Beschreibung, Verfeinerung und Analyse gefärbter Petrinetze
von: Thielke, Thomas
Veröffentlicht: (2000)

Eine Methodenkette zur integrierten Software-Entwicklung - von der Problemstellung zum Programmsystem mit Petrinetzen
von: Rastgooy Damavandi, Kamran
Veröffentlicht: (1990)

Modulare Modellierung, Planung und Steuerung hierarchischer Fertigungssysteme auf Basis von Petrinetzen
von: Drathen, Arne von 1975-
Veröffentlicht: (2008)

Vermeidung von totalen Verklemmungen in bewerteten Petrinetzen/ vorgelegt von Reinhold Schroff
von: Schroff, Reinhold
Veröffentlicht: (1974)

Ein Algoritmus für das allgemeine Erreichbarkeitsproblem bei Petrinetzen und damit zusammenhängende probleme
von: Mayr, Ernst W. 1950-
Veröffentlicht: (1980)

Beitrag zur Erstellung von Steuerprogrammen für speicherprogrammierte Systeme mit Hilfe von petrinetz-unterlegten Funktionsplänen
von: Engelmann, Klaus
Veröffentlicht: (1984)

12. Workshop "Algorithmen und Werkzeuge für Petrinetze" (AWPN 2005) 29. - 30. September 2005, Humboldt-Universität zu Berlin ; Proceedings
Veröffentlicht: (2005)

12. Workshop "Algorithmen und Werkzeuge für Petrinetze" (AWPN 2005) 29. - 30. September 2005, Humboldt-Universität zu Berlin ; Proceedings
Veröffentlicht: (2005)