Arbeitspapier
Petri Nets in Software Engineering
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.
- Sprache
-
Englisch
- Erschienen in
-
Series: Arbeitsberichte - Working Papers ; No. 5
- Klassifikation
-
Management
- Ereignis
-
Geistige Schöpfung
- (wer)
-
Gold, Robert
- Ereignis
-
Veröffentlichung
- (wer)
-
Fachhochschule Ingolstadt - University of Applied Sciences
- (wo)
-
Ingolstadt
- (wann)
-
2004
- Handle
- URN
-
urn:nbn:de:bvb:573-203
- Letzte Aktualisierung
-
10.03.2025, 11:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Arbeitspapier
Beteiligte
- Gold, Robert
- Fachhochschule Ingolstadt - University of Applied Sciences
Entstanden
- 2004
Ähnliche Objekte (12)
Proceedings of the International Workshop on PetriNets and Software Engineering
Proceedings of the International Workshop on Petri Nets and Software Engineering
Voodoo, vaccines and bed nets
Unifying Petri nets : advances in Petri nets
Multilateral Safety Nets for Financial Crises
Income risk, coping strategies and safety nets
Inadequate regional financial safety nets reflect complacency
Petri nets in system engineering : modelling, verification, and validation
Software Manufaktur - Software Engineering - Software Architektur: konkurrierende Leitbilder in der Geschichte der Softwaretechnik
Social safety nets and adjustment in developing countries
Protecting Girls from Droughts with Social Safety Nets
The creation of euro area financial safety nets
Proceedings of the International Workshop on PetriNets and Software Engineering
Proceedings of the International Workshop on Petri Nets and Software Engineering
Voodoo, vaccines and bed nets
Unifying Petri nets : advances in Petri nets
Multilateral Safety Nets for Financial Crises
Income risk, coping strategies and safety nets
Inadequate regional financial safety nets reflect complacency
Petri nets in system engineering : modelling, verification, and validation
Software Manufaktur - Software Engineering - Software Architektur: konkurrierende Leitbilder in der Geschichte der Softwaretechnik
Social safety nets and adjustment in developing countries
Protecting Girls from Droughts with Social Safety Nets
The creation of euro area financial safety nets
Proceedings of the International Workshop on PetriNets and Software Engineering
Proceedings of the International Workshop on Petri Nets and Software Engineering
Voodoo, vaccines and bed nets
Unifying Petri nets : advances in Petri nets
Multilateral Safety Nets for Financial Crises
Income risk, coping strategies and safety nets
Inadequate regional financial safety nets reflect complacency
Petri nets in system engineering : modelling, verification, and validation
Software Manufaktur - Software Engineering - Software Architektur: konkurrierende Leitbilder in der Geschichte der Softwaretechnik
Social safety nets and adjustment in developing countries
Protecting Girls from Droughts with Social Safety Nets