RESTful Petri Net Execution. - Gero Decker; Alexander Lüders; Hagen Overdick; Kai Schlichting; Mathias Weske (WS-FM, 2008)