Composition of Petri nets models in serviceoriented industrial automation Conference Paper