selected publications chapter Renew 2.5 – Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications. Lecture Notes in Computer Science. 101-112. 2016