FN ISI Export Format VR 1.0 PT J TI Proceedings of the International Workshop on Petri Nets and Software Engineering, including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems VL 1372 PY 2015 ER