{"citation":{"ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.” Siegen, 2000.","mla":"Flake, Stephan, et al. <i>Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen</i>. 2000.","apa":"Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2000). <i>Modellprüfung für den Entwurf von Fertigungssteuerungssystemen</i>.","bibtex":"@article{Flake_Müller_Pape_Ruf_2000, place={Siegen}, series={Mobis 2000}, title={Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, year={2000}, collection={Mobis 2000} }","chicago":"Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen.” Mobis 2000. Siegen, 2000.","ama":"Flake S, Müller W, Pape U, Ruf J. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. Published online 2000.","short":"S. Flake, W. Müller, U. Pape, J. Ruf, (2000)."},"series_title":"Mobis 2000","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Pape, Ulrich","last_name":"Pape","first_name":"Ulrich"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"}],"year":"2000","place":"Siegen","language":[{"iso":"eng"}],"_id":"39434","type":"conference","department":[{"_id":"672"}],"title":"Modellprüfung für den Entwurf von Fertigungssteuerungssystemen","date_updated":"2023-01-24T10:49:57Z","date_created":"2023-01-24T10:49:52Z","abstract":[{"text":"In diesem Artikel stellen wir die Anwendung von Modellprüfung für ein\r\nFertigungssystem mit freifahrenden Transportfahrzeugen vor. Dabei konzentrieren wir\r\nuns darauf, den Materialfluss in einem Systemmodell auf die Einhaltung quantitativer\r\nund zeitlicher Bedingungen hin zu überprüfen. Zur Modellentwicklung setzen wir die\r\ngraphische Beschreibungsmethode MFERT ein, die sich bereits mehrfach in\r\nIndustrieprojekten bewährt hat. Wir präsentieren eine Abbildung von MFERT in\r\nzeitannotierte Zustandsübergangssysteme, die für ein bereits existierendes Werkzeug zur\r\nModellprüfung als Eingabe einer Modellbeschreibung dienen. Bei der Modellprüfung\r\nwird diese Beschreibung auf die Einhaltung von Eigenschaften überprüft, die in einer\r\ntemporalen Logik oder einer davon abstrahierten Form spezifiziert werden.","lang":"eng"}],"status":"public","user_id":"5786"}