„Petri Netze“

Suchergebnisse

1.000+ Treffer

• Einsatz unscharfer Petri-Netze zur Bilanzierung, Planung und Steuerung von Stoffströmen
  Siestrup, G. ; Tuma, Axel ; Haasis, Hans-Dietrich ; Keller, H. B. ; Grützner, Rolf ; Hohmann, R. 2019 Universität Augsburg
• Konzeption und Entwicklung eines graphischen Analysewerkzeugs fuer Hoehere Petri-Netze mit zustandsabhaengiger Schaltregel
  Süß, Wolfgang 1993 KIT-Bibliothek
• Repairing event logs using stochastic process models
  Rogge-Solti, Andreas ; Mans, Ronny S. ; Aalst, Wil ˜van derœ ; Weske, Mathias 2013 Universität Potsdam
• Modeling Petri net-based multi-agent applications
  Cabac, Lawrence
• Pascoletti, K.‐H., Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri‐Netzen. München‐Wien, R. Oldenbourg Verlag 1986. 158 S., DM 42,—. ISBN 3‐486‐20205‐7 (GMD‐Bericht Nr. 160)
  Terno, J.
• Einstieg in stochastische Prozesse – Grundlagen und Anwendungen mit vielen Übungen, Lösungen und Videos
  Imkamp, Thorsten ; Proß, Sabrina 2023 Springer Berlin Heidelberg
• Grundlagen und Anwendung der Steuerungstechnik – Petri-Netze, SPS, Planung
  2000 Vieweg+Teubner Verlag
• A modular framework for optimal scheduling of industrial processes
  Schild, Axel ; Rose, Alexander ; Grotjahn, Martin ; Luck, Bennet
• Simulationsverfahren für zeiterweiterte Petri-Netze
  Kelling, Christian 1995 SCS
• Analytische und simulative Leistungsbewertung des photolithographischen Prozesses mit Petri-Netzen
  Jarschel, Werner 1995 Inst. für Math. Maschinen und Datenverarbeitung (Informatik)
• Hierarchische Analyse technischer Systeme mit Petri-Netzen
  Wintz, Stefan 1995 VDI-Verl.
• Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
  Knorr, Roger 1995 Shaker
• Petri-Netze in der Wissensverarbeitung
  Röbbecke, Michael 1995 Inst. für Informatik
• Lebende Blöcke beim Go – ein formaler Ansatz unter Verwendung von Petri-Netzen
  Müller-Prove, Matthias 1995 Bibliothek des Fachbereichs Informatik, Univ.
• Funktionale Äquivalenz von Petri-Netzen
  Schreiber, Gerlinde 1995 Carl-v.-Ossietzky-Univ., Fachbereich Informatik
• Verifikationsmethode für Dienstorchestrierungen modularer verfahrenstechnischer Anlagen mittels Petri-Netzen unter vorherrschenden Dienst- und Prozesswertabhängigkeiten
  Bloch, Henry ; Fay, Alexander ; Urbas, Leonhard 2024 Helmut-Schmidt-Universität, Bibliothek
• Kompetenzorientiertes E-Assessment für die grafische Modellierung in der Hochschullehre
  Ullrich, Meike 2024 epubli
• Kompetenzorientiertes E-Assessment für die grafische Modellierung in der Hochschullehre
  Ullrich, Meike ; Oberweis, A. ; Schmeck, Hartmut 2024 KIT-Bibliothek
• Spike - a tool for reproducible simulation experiments
  Chodak, Jacek ; Heiner, Monika ; Gilbert, David 2022 BTU Cottbus - Senftenberg
• Kausale Strukturen: Fiktion oder Realität? -- Kausale Bayes-Netze von quantenmechanischen Experimenten
  Retzlaff, Nina ; Schurz, Gerhard ; Schrenk, Markus 2022 Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf