?
CEUR Workshop Proceedings
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’16) in Torun, Poland, June 20–21, 2016. It is a co-located event of • Petri Nets 2016 – the 37th International Conference on Applications and Theory of Petri Nets and Concurrency and • ACSD 2016 – the 16th International Conference on Application of Concurrency to System Design. More information about the workshop can be found at http://www.informatik.uni-hamburg.de/TGI/events/pnse16/ For the successful realization 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 modeling, 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, colored Petri nets and extensions) in the formal process of software engineering, covering modeling, validation and verification, is presented as well as their application and tools supporting the disciplines mentioned above.