PetrieNet workflow over AWS SWF