Logo: Deutsches Institut für Internationale Pädagogische Forschung

Publications

Publikationendatenbank

show results

Autor:
Moldt, Daniel (Hrsg.); Rölke, Heiko (Hrsg.); Störrle, Harald (Hrsg.):

Titel:
Petri Nets and Software Engineering 2015
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15)

Quelle:
Brussels : CEUR Workshop Proceedings (2015) , 326

URL des Volltextes:
http://ceur-ws.org/Vol-1372/

Sprache:
Englisch

Dokumenttyp:
2. Herausgeberschaft; Sammelband (keine besondere Kategorie)

Schlagwörter:
Entwicklung, Modell, Software, Workshop


Abstract(englisch):
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-Abteilung:
Informationszentrum Bildung

Notizen:

last modified Nov 11, 2016