Bitte verwenden Sie diesen Link, um diese Publikation zu zitieren, oder auf sie als Internetquelle zu verweisen: https://hdl.handle.net/10419/202557 
Autor:innen: 
Erscheinungsjahr: 
2004
Schriftenreihe/Nr.: 
Arbeitsberichte - Working Papers No. 5
Verlag: 
Fachhochschule Ingolstadt - University of Applied Sciences, Ingolstadt
Zusammenfassung: 
In this paper we investigate the use of Petri nets in software engineering extending the classical software development process with simulation and mathematical analysis based on place/transition nets. The advantage is that equirements can be validated earlier and fault detection and correction is less expensive. We show how to construct nets from basic patterns and demonstrate this for an application in automotive electronics, the cruise control with distance warning. The resulting nets can be simulated and analysed using Petri net tools and embedded into an object-oriented framework, where transitions are triggered by messages.
Persistent Identifier der Erstveröffentlichung: 
Creative-Commons-Lizenz: 
cc-by-nc-nd Logo
Dokumentart: 
Working Paper

Datei(en):
Datei
Größe
1.12 MB





Publikationen in EconStor sind urheberrechtlich geschützt.