1. Strategic Organizational Improvement: Research Lines and Results César A. L. Oliveira Center for Informatics, UFPE, Brazil calo@cin.ufpe.br

10. Workflow GSPN (Generalized Stochastic Petri Net)

11. M/M/1 Queue modeled in Coloured Petri Net (CPN) M/M/1 Queue modeled in GSPN

12. Network Traffic in Automated Business Processes Upload request Process request Download results Process results Transmit response

15. _____ Automaton Process Rules (Constraints) _____ Process Rules (Constraints) Dependence Graph State-space explosion Number of nodes almost equal to number of activities

22. ROSAS The Results-Oriented Strategy Automation System

23. ActivitiesOutputsOutcomesImpacts

24. “Reduced rate of defects” Avoid ordering products from suppliers that have been the source of defects Activities “Reduced transportation costs” Prefer ordering products from the same supplier “Reduced customer complaints”“Reduced waste” “Increased Market Share”“Increased Sustainability” Impacts Outcomes Outputs

25. Select Supplier

26. WS Avoid ordering products from suppliers that have been the source of defects

27. Select Supplier ROSAS WS

33. Prof. Ricardo Massa rmfl@cin.ufpe.br Cesar Oliveira calo@cin.ufpe.br Natália Silva ncs@cin.ufpe.br Renata Medeiros rwm@cin.ufpe.br With the collaboration of Prof. Hajo A. Reijers H.A.Reijers@tue.nl

34. www.cin.ufpe.br/~calo @cesarlins calo@cin.ufpe.br cesar.lins@gmail.com Strategic Organizational Improvement: Research Lines and Results César A. L. Oliveira Center for Informatics, UFPE