-
-
Editor(s) Moldt, Daniel; Rölke, Heiko; Störrle, Harald
Title: Petri Nets and Software Engineering 2015. Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15)
Published: Aachen: RWTH, 2015 (CEUR Workshop Proceedings, 1372)
URN: urn:nbn:de:0074-137
URL: http://ceur-ws.org/Vol-1372/
Publication Type: 2. Herausgeberschaft; Sammelband (keine besondere Kategorie)
Language: Englisch
Keywords: Entwicklung; Modell; Software; Workshop
Abstract (english): For the successful realisation of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability. The use of Petri Nets (P/T-Nets, Coloured Petri Nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above. (DIPF/Autor)
DIPF-Departments: Informationszentrum Bildung