Modelling Co-occurring Changes in a BPEL Process with Petri Nets Topics: Service-Oriented Architectures (SOA) In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 410-416, 2019 , Heraklion, Crete, Greece