Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2009Modellierungsansatz für die realitätsnahe Abbildung der technischen Verfügbarkeit intralogistischer Systeme
Jung, E.-N.; Feldhorst, S.; Ten Hompel, M.
Conference Paper
2005Adaptive Modellierung und Simulation von Produktentwicklungsprozessen
Voigtsberger, J.
: Krause, F.-L. (Prüfer)
Dissertation
2003Application Development Assistance with the Petri Net Baukasten
Weber, H.
Conference Paper
2003Modellierung von Layout und Steuerungsregeln für die Materialfluss-Simulation
Rabe, M.
: Mertins, K. (Prüfer)
Dissertation
2003The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY
Weber, H.; Ehrig, H.; Reisig, W.
Conference Paper
1999Überbetriebliche Kommunikation in der Behälterlogistik
Schreiber, T.
: Jünemann, R. (Prüfer)
Dissertation
1999Untersuchungen zur Migration und Emulation von Architekturmodellen eingebetteter Hardware/Software-Systeme
VomBögel, G.
Dissertation
1998Ein Beitrag zum modellgestützten Entwurf anwendungsspezifischer, verteilter Hardware-/Softwaresysteme
Grinewitschus, V.
Dissertation
1997Angewandte Simulationstechnik für Produktion und Logistik
Schmidt, U.
: Kuhn, A.
Book
1997Building distributed, scalable, dependable real-time systems
Ravindran, B.; Welch, L.R.; Kelling, C.
Conference Paper
1997Modellgestützter Entwurf anwendungsspezifischer verteilter Systeme
Grinewitschus, V.
Conference Paper
1997Simulationstechnik. 11. Symposium. Tagungsband
: Kuhn, A.; Wenzel, S.
Conference Proceedings
1996Automatische Generierung graphischer Benutzungsschnittstellen
Janssen, C.; Weisbecker, A.; Ziegler, J.
Book Article
1996Einsatz von Petri-Netzen zur Planung und Steuerung flexibler Fertigungssysteme (Siemens AG, München)
Strege, B.; Gücker, A.
Conference Paper
1996Petrinetz-Technologie. Kick-off-Workshop der DFG-Forschergruppe
: Ehrig, H.; Reisig, W.; Weber, H.
Conference Proceedings
1996Requirements on petri net technique from point of view of system development process
Borusan, A.
Conference Paper
1996Statechart-orientierte Modellierung mit höheren Petrinetzen
Fricke, O.
Conference Paper
1995Hardware/Software-Cosimulation im Systementwurf mikroelektronischer Systeme
Nauber, P.; Winkler, J.
Conference Paper
1995Higher-Order object nets and their application to workflow modeling
Löwe, M.; Wikarski, D.; Han, Y.
Book
1995HW/SW-Cosimulator
Nauber, P.
Conference Paper
1995Modellierung und Leistungsbewertung rekonfigurierbarer Kommunikationsnetze
Danz, S.; Rosner, S.
Conference Paper
1995Werkzeug für das ganzheitliche Prozeßmanagement
Deiters, W.; Knecht, R.; Margott, O.
Journal Article
1995Zur Modellierung synchron getakteter Hardware mit zeitbewerteten Petri-Netzen
VomBögel, G.; Quäck, L.
Conference Paper
1994A modular verification of complex real-time systems
Borusan, A.
Conference Paper
1994A petri net based modelling technology for manufacturing system engineering
Borusan, A.
Conference Paper
1994Untersuchung der Eignung von genetischen Algorithmen zur simultanen Termin- und Kapazitätsplanung.
Stache, U.
: Jünemann, R. (Prüfer)
Dissertation
1994Untersuchungen und Implementierung eines Hardware/Software-Co-Simulators für auf modifizierten Petri-Netz-Modellen (HW/SW-Netz) basierenden Systemspezifikationen
Werner, C.
Thesis
1993Abbildung von Kommissioniersystemen in Petri-Netzen
Spee, D.
Conference Paper
1993Further remarks on the relationship between C-E structures and Petri nets
Wikarski, D.
Conference Paper
1993Rechnergestützter Entwurf von Automatisierungsanlagen unter Nutzung von Petri-Netzen am Beispiel einer Paketverteilanlage
Despang, H.-G.; Müller, T.; Oberst, E.
Journal Article
1993Simulationsinstrumente im Überblick
Wenzel, S.; Noche, B.; Bernhard, W.; Krauth, J.; Meyer, R.
Book Article
1992Entwicklungssystem zur schnellen Umsetzung von Petri-Netz Modellen in eine Software-Realisierung
Grinewitschus, V.; Quäck, L.; Scherer, K.
Conference Paper
1992Logistik - Wege aus der Datenflut
Moszyk, U.
Journal Article
1992Ein Verifikationssystem für Ablaufsteuerungen diskreter Prozesse
Winkler, J.; Zander, H.J.
Conference Paper
1991Anwendungserfahrungen mit dem Netz-Simulator "NET"
Scherer, K.
Journal Article
1991Aspekte der Modellierung und Realisierung der Steuerung technologischer Prozesse mit Petri-Netzen
Quäck, L.
Journal Article
1991Modellbildung und Realisierung von Automatisierungssystemen mit Petri-Netzen
Quäck, L.
Conference Paper
1991Modulhomomorphismen. Teil 2
Ochsenschläger, P.
Report
1991Die Produktnetzmaschine
Ochsenschläger, P.
Report
1990Modellierung von Informations- und Materialflüssen für die Auslegungsplanung
Spur, G.; Wieneke-Toutaoui, B.; Rabe, M.; Mertins, K.
Journal Article
1990Modulhomomorphismen. Teil 1
Ochsenschläger, P.
Report
1989Modular simulation model of robot cells
Cho, H.S.; Warnecke, H.-J.; Kuk, K.-H.
Conference Paper
1988Design mikroelektronischer Systeme mit Petri-Netzen
Scherer, K.
Conference Paper
1988Korrektheit des Netzmodells für den CCR-Algorithmus
Thieler-Mevissen, G.
Report