For the most recent entries see the Petri Nets Newsletter.

A case study using signal nets and its implication.

Milijic, V.

In: Petri Net Newsletter Vol. 65, Special Interest Groups on Petri Nets and Related Systems Models, Oct. 2003, Gesellschaft für Informatik e.V., pages 3-11. 2003.

Abstract: The paper describes an industrial case study using signal nets to model the control system of the fuel gauge of an Audi car. Starting with a textual document including requirements and scenarios in natural language, our aim was to generate a valid system model which can be used as a formal specification of the system and delivers possibility to derive test cases from it. Implication from the case study concerning future research aspects towards an scenario-based development of models will be mentioned.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography