Text this: Process optimization of service-oriented automation devices based on Petri nets