business process management; distributed environments; Petri Net; IT; web service