PONTIFCIA UNIVERSIDADE CATLICA DO PARAN

BARBARA KIMIE OKAYAMA

MODELAGEM E ANLISE DOS PROCESSOS DE NEGCIOS EM UMA EMPRESA DO RAMO AUTOMOTIVO ATRAVS DO FORMALISMO DAS REDES DE PETRI.

CURITIBA 2007

ii

BARBARA KIMIE OKAYAMA

MODELAGEM E ANLISE DOS PROCESSOS DE NEGCIOS EM UMA EMPRESA DO RAMO AUTOMOTIVO ATRAVS DO FORMALISMO DAS REDES DE PETRI.

Dissertao apresentada ao Programa de PsGraduao em Engenharia de Produo e Sistemas da Pontifcia Universidade Catlica do Paran como requisito para a obteno do ttulo de Mestre em Engenharia de Produo e Sistemas, elaborada sob a orientao cientfica dos professores: Orientador: Prof. Dr. Marco Busetti Co-Orientador: Prof. Dr. Eduardo Portela

CURITIBA 2007

iii

AGRADECIMENTO

Expresso minha sincera gratido ao Professor Dr. Eduardo Loures pelas diretrizes seguras, orientao e pacincia que me concedeu para o desenvolvimento desta pesquisa e por todo apoio dedicado durante este perodo. Ao meu orientador Prof. Dr. Marco Busetti e ao Prof. Dr. Eduardo Portela, pela colaborao, sugesto e discusso ao longo do perodo da pesquisa. A Deus, por estar sempre ao meu lado, em todos os meus momentos. Agradeo a meus pais e a todos os meus familiares, amigos e colegas que me apoiaram durante este perodo e que muitas vezes deixei de estar presente em vrios momentos. A minha tia Elvira, que se no fosse por ela, no teria realizado este estudo. E em especial quelas pessoas que estiveram ao meu lado, em todos os momentos de dificuldade e que me deram foras nos momentos de fraqueza para que eu no desistisse e continuasse esta jornada.

iv

SUMRIO

Lista de Figuras ........................................................................ vii Glossrio .................................................................................. viii Resumo .......................................................................................ix Abstract ........................................................................................ x 1 Captulo I - Introduo ............................................................... 1 1.1 Justificativa ......................................................................... 2 1.2 Objetivo de Pesquisa ............................................................. 3 1.3 Estratgia de Pesquisa ........................................................... 5 1.4 Organizao ......................................................................... 6 2 Captulo II Abordagens de gesto organizacional e processos de negcio ..................................................................................... 7 2.1 Introduo ............................................................................ 7 2.2 A Administrao Cientfica ................................................... 8 2.3 Processos de Negcio .......................................................... 10 2.4 O que Workflow ............................................................... 17 2.5 Ciclo de desenvolvimento .................................................... 20 2.6 Consideraes Finais .......................................................... 24 3 Captulo III - Redes de Petri como formalismo para modelagem de processos de negcio ............................................................... 25 3.1 Introduo .......................................................................... 25 3.2 Redes de Petri .................................................................... 28 3.3 Redes de Petri e suas Propriedades....................................... 29 3.3.1 Redes livres de bloqueio................................................ 31 3.3.2 Redes vivas e quase vivas .............................................. 31

3.3.3 Redes reinicializveis ................................................... 31 3.3.4 Marcao / Estado de recepo ...................................... 31 3.3.5 Redes k-limitadas ......................................................... 32 3.3.6 Invariantes de lugar ...................................................... 32 3.3.7 Invariantes de transio ................................................. 32 3.4 Redes de Petri de Alto Nvel ............................................... 32 3.4.1 Redes de Petri coloridas ................................................ 33 3.4.2 Redes de Petri com extenso do tempo ........................... 35 3.5 Mapeamento de estruturas bsicas de workflows em RdP ....... 37 3.6 Workflow -net (WF-Nets) ..................................................... 40 3.7 Anlise .............................................................................. 43 3.7.1 Alcanabilidade ( Reachability ) ...................................... 43 3.7.2 Vivacidade ( Liveness ) ................................................... 44 3.7.3 Reversibilidade ............................................................. 44 3.7.4 Limitao ( Boundness ) .................................................. 44 3.7.5 Soundness .................................................................... 45 3.8 Consideraes Finais .......................................................... 45 4 Captulo IV - Metodologia Proposta para Realizao da Modelagem dos Processos de Negcio ........................................................ 47 4.1 Introduo .......................................................................... 47 4.2 Estudo de Caso ................................................................... 48 4.3 Modelagem Atravs de Fluxograma Pesquisa Documental ... 50 4.4 Modelagem Atravs de Redes de Petri .................................. 53 4.5 Consideraes Finais .......................................................... 55 5 Captulo V Aplicao do Modelo na anlise dos processos de negcio. .................................................................................. 56

vi

5.1 Introduo .......................................................................... 56 5.2 Ferramentas........................................................................ 56 5.3 Simulao e Anlise do Modelo ........................................... 59 5.4 Consideraes Finais .......................................................... 63 6 Captulo VII Concluses ........................................................ 64 7 Referncias Bibliogrficas ........................................................ 67

vi i

LISTA DE FIGURAS Figura 1.1 Estrutura do Trabalho Figura 2.1 Ciclo de vida do gerenciamento do processo Figura 2.2 Descrio da Atividade Figura 2.3 Fases e componentes de um sistema de negcios. Figura 2.4 Relacionamento de elementos de processo de negcio e workflow Figura 2.5 Fases e estruturas BPM e workflow Figura 2.6 Verificao do processo Figura 2.7 Abordagem metodolgica da teoria de simlao Figura 2.8 Ciclo de desenvolvimento Figura 3.1 Uma Rede de Petri simples Figura 3.2 Rede de Petri colorida Figura 3.3 Rede de Petri Temporizadas Figura 3.4 Representao de blocos or e and Figura 3.5 Representao de blocos or e and Figura 3.6 Representao de Seleo Figura 3.7 O processo de gerenciar reclamao Figura 3.8 Exemplo de Workflow-net Figura 3.9 Estrutura de uma tarefa Figura 4.1 Fluxograma do processo de vendas Figura 4.2 Processo de vendas modelado em redes de Petri Figura 5.1 Referncia de arquitetura para ferramentas de TI aplicveis ao BPM Figura 5.2 Ferramenta INCOME Figura 5.2 Comparativo de Modelos em Fluxograma e Redes de Petri Figura 5.4 Resultado da Anlise do Modelo de Processo de Vendas atravs da ferramenta Woped Figura 5.5 Resultado da Anlise do Modelo de Processo de Vendas atravs da ferramenta Woflan Figura 5.6 Resultado da Anlise do Modelo de Processo de Vendas Woped Capacity Planning

vi ii

GLOSSRIO BAM Business Activity Monitoring BI Business Intelligence BPEL Business Process Execution Language BPM Business Performance Management BPM Business Process Management uso da sigla BPM nesta dissertao BPM Business Process Modeling BRE Business Rules Engine BSC Balanced Scorecard CEP Controle Estatstico de Processo CRM Customer Relationship Management ECM Enterprise Content Management EPC Event-driven Process Chain ERP Enterprise Resource Planning GED Gerenciamento Eletrnico de Documentos IDEF Integration Definition for Function Modeling ODBC Open Database Connectivity PDCA Plan, Do, Control and Action PERT Program Evaluation and Review Technique SMTP Simple Mail Transfer Protocol TI Tecnologia da Informao UML Unified Modeling Language RdP Redes de Petri WF-Net Workflow-Net WfMC Workflow Management Coalition XML eXtensible Markup Language XPDL XML Process Definition Language

ix

Resumo Para que as organizaes possuam um melhor conhecimento e gerenciamento de seu negcio apresentado neste trabalho, o desenvolvimento de uma modelagem baseada em formalismos oriundos das Redes de Petri (RdP). A descrio do conhecimento da empresa atravs de modelos formais baseados em RdP permite o suporte na concepo de um sistema de gesto de processos de negcio. O uso de mtodos formais oriundos dos sistemas a eventos discretos garante um rigor matemtico nas representaes dos processos. As RdP fornecem, alm deste rigor, uma representao grfica simples facilitando tanto a criao, quanto a interpretao do que est sendo modelado. Algumas extenses da RdP, como as RdP Coloridas e as Workflow-nets (WF-nets), permitem uma organizao adequada e uma representao dinmica da informao dos processos. A WF-net uma extenso da rede de Petri com propriedades especificas para os processos de modelagem workflow. Com o formalismo disponibiliza-se uma anlise do processo e no apenas do fluxo do processo e acredita-se que h um grande campo de aplicao a ser explorado. Atravs do modelo formal, puderam-se investigar algumas propriedades e verificaes, como por exemplo, que o processo de negcio dispende maior tempo em um tempo de espera, seja espera em um processo interno ou externo, sendo este o maior motivo para o processo ter um longo perodo para sua finalizao. Com este estudo foi possvel identificar um sistema de gesto de processos de negcio dispondo uma viso holstica para a organizao atravs da modelagem formal de seus processos. Este trabalho contribui para que aos gestores realizem um planejamento e formulem estratgias, tornando a organizao cada vez mais competitiva em sua rea de atuao. Key Words: Processo, gesto, modelagem formal, Redes de Petri.

Abstract In order to improve the knowledge acquirement and corporations management skills. This work presents the development of a modeling methodology based on the formalisms issue from discrete events systems. The description of the companys knowledge through formal models based on Petri nets (PN) gives support to the modeling, analysis and diagnosis of business processes management. The use of formal methods based on discrete events systems guarantees a mathematical rigor in the process representation. Petri nets allow, besides this rigor, a simple graphical representation making it easier to create and interpret what is being modeled. Some extensions of PN such as Colored PN and Workflow-nets (WF-nets), allow an appropriate organization and a dynamic representation of information procedures. The WF-net is an extension of the network of Petri Net with specific properties for modeling workflow processes. This formalism provides an analysis of the process and not only the flow of the process and it is believed that there is a large field of application to be explored. Through the formal model, could itself investigate some properties and verification, for example, the business process spend time meanly in a "time of waiting," and be it also in a process internal or external, and this is the biggest reason for the process spends takes a long period be concluded. In this study it was possible to identify a system for managing the business processes having a holistic vision for the organization through the formal modeling of their processes. This work contributes to the managers hold a planning and formulate strategies, making the organization more competitive in their area of expertise.

Key Words: Process, management, formal model, Petri Nets.

1 CAPTULO I - INTRODUO Recentemente, avanos foram feitos em termos de notaes, tcnicas e ferramentas de modelagem motivando estudos mais aprofundados sobre a modelagem de negcio nas empresas. Soma-se a isso, uma maior presso pelo entendimento e melhoria dos negcios nas empresas, o que tem aumentado a motivao para sua modelagem. As instituies esto conscientes da importncia do conhecimento dos seus prprios negcios e da necessidade da permanncia desse conhecimento dentro da organizao para uso futuro [GONALVES, 2000]. possvel entender a modelagem de negcio como sendo um mapeamento dos diversos processos existentes em uma empresa, buscando neste mapeamento, uma melhor viso e a melhoria dos processos existentes na organizao. Apesar da importncia desse mapeamento para o entendimento e melhoria continua dos servios internos e externos, ele no realizado com freqncia nas empresas [NOGUEIRA, 2003]. O motivo para isso ocorrer pode ser atribudo s dificuldades do uso das ferramentas disponveis para esse fim e dos poucos recursos que elas disponibilizam, tornando-as de pouca utilidade. Depois dos processos serem mapeados, os resultados so de difcil compreenso tanto por usurios como por engenheiros de softwares e desenvolvedores. Assim, nota-se que ao objetivo inicial da realizao de modelagem (que era apenas o de documentar), adicionam-se outros objetivos como, por exemplo, objetivos ligados anlise dos modelos. Muitos gestores no possuem um controle ou conhecimento apropriado de seus processos de negcios. Uma das principais dificuldades para entendimento do funcionamento de processos de negcio a complexidade envolvida, sendo uma das razes para esse problema a falha de visibilidade dos processos relacionados com cada negcio. A fase inicial do desenvolvimento da modelagem apresenta diversas dificuldades. Entre essas dificuldades, uma das maiores est na transformao do conhecimento abstrato em informaes explicitas, a fim de permitir que sejam feitas as especificaes da representao a ser realizada. nessa fase que h maior incidncia de erros nos projetos [KINTSCHNER, BRESCIANE, 2004; MINTZBER, QUINN, 2001]. Mesmo com uma documentao dos processos em forma de papis ou arquivos eletrnicos de texto, a interpretao ou o conhecimento global de um negcio de maior

amplitude pode ser uma tarefa complexa. possvel se somar a essa situao, a rotatividade do quadro de pessoal, alm da participao de terceirizados, levando a uma baixa sintonia entre os funcionrios e, conseqentemente, dificuldades na definio e formalizao dos processos e recursos. Para que anlises e inferncias sobre os processos de negcio possam ser conclusivas, a proposta que ser apresentada neste trabalho consiste na aplicao de um mtodo formal advindo dos sistemas a eventos discretos (SED) como base para a modelagem [CHANDRA et al, 2003]. Faz-se necessrio o uso de mtodos formais para garantir um rigor matemtico nas representaes dos processos. Entre os principais mtodos SED, tm-se as Redes de Petri (RdP), com uma representao grfica simples, a qual facilita tanto a criao, quanto a interpretao do que est sendo modelado [AALST 2000].

1.1 JUSTIFICATIVA

Para conseguir boa margem de lucro no ramo de negcio, consultores e empresrios caminham para uma espcie de especializao generalizada, ou seja, para a procura de um conhecimento global e integrado da empresa. A constante busca de custos mais baixos, a entrada de produtos do mercado estrangeiro, a forte concorrncia do mundo globalizado, faz com que seja necessrio um estabelecimento de melhorias contnuas para se manter forte e permanecer no mercado. Assim, surgiu o Gerenciamento de Processo de Negcios (BPM). A habilidade para mudar o processo passa a ser mais relevante do que a habilidade para cri-lo, pois ela gera as condies para que toda a cadeia de valor possa ser monitorada, continuamente melhorada e otimizada [SMITH & FINGAR, 2003]. Vrias pesquisas de mercado tm apontado o BPM como sendo de interesse das empresas, em geral como forma de resolver ou contribuir de maneira acentuada na soluo de uma srie de problemas organizacionais. Com o BMP, a transformao das organizaes deixa de ser uma arte imprecisa e de resultados imprevisveis, tornando-se uma disciplina administrativa e de engenharia, com indicadores predefinidos, mas alterveis. Este trabalho vem apresentar uma integrao entre duas reas de estudo, sociais aplicadas e exatas. Este envolvimento de duas vises, de um lado o humano e de outro o tcnico, busca contribuir para a concepo de um estudo formal da gesto dos processos de

negcios, avaliando administrativamente os processos e modelando-os atravs dos formalismos dos sistemas a eventos discretos (SED). Devido carncia que esta abordagem possui, para que se trabalhe de uma forma integrada com a gesto organizacional [GARVIN, 1998], motivado por este contexto, propem-se neste trabalho uma modelagem baseada em RdP, que permitir alm da formalizao do conhecimento, a simulao e diagnstico dos processos de negcio. Tal formalismo permitir uma viso holstica da empresa atravs da compreenso dos mecanismos de execuo e iterao dos processos, bem como da forma de utilizao e escalonamento dos recursos. O uso de mtodos formais oriundos dos sistemas a eventos discretos garante um rigor matemtico nas descries dos processos. As RdP fornecem, alm deste rigor, uma representao grfica simples facilitando tanto a criao, quanto a interpretao do que est sendo modelado. Abrindo-se a possibilidade da identificao e simulao de diferentes cenrios, a organizao ir trabalhar com maior profundidade para uma melhoria contnua. Tal melhoria sendo baseada, por exemplo, na observao da ausncia ou excesso de recursos e na identificao de baixo desempenho ou falhas no fluxo lgico dos processos.

1.2 OBJETIVO DE PESQUISA

O objetivo principal deste trabalho ser o desenvolvimento de uma modelagem de processos de negcio baseada em formalismos oriundos das Redes de Petri. A modelagem ir estruturar os processos dispondo de uma organizao com uma viso holstica do seu negcio. O desdobramento deste objetivo geral resulta nos seguintes objetivos especficos, como mostra o Quadro 1.1: - Modelagem dos processos atravs do mapeamento do conhecimento existente - Anlise quantitativa e qualitativa para diagnstico e verificao de desempenho dos processos. Com uma viso holstica da organizao e baseado em anlises sobre os modelos obtidos, ser possvel identificar as reas com inabilidades em seu processo, evadindo o desperdcio de recursos e possibilitando a apreenso de que determinados processos no esto sendo executados com as melhores tcnicas.

Com a modelagem, desdobram-se objetivos especficos de pesquisa no suporte a gesto dos processos: - Busca e mapeamento do conhecimento disponvel na empresa com base em uma abordagem de processos; - Traduo deste conhecimento em modelos formais; - Com base nos modelos obtidos, analisar adequadamente os processos para atender as necessidades da organizao; - Assegurar que clientes, usurios e desenvolvedores tenham um entendimento comum das reas da organizao, ou seja, a viso holstica da organizao; - Compreender os problemas existentes na organizao e identificar formas de solucionar ou reduzi-los. - Preocupao na utilizao e integrao dos modelos criados em ambientes de execuo (workflow) e monitoramento de processos para fins de auditoria ou avaliao. Desta forma, os gestores podero verificar as vantagens e desvantagens de uma representao formal, avaliando-se o desempenho das RdP na modelagem e avaliao dos processos de negcios;

Quadro 1.1 Objetivos da pesquisa

1.3 ESTRATGIA DE PESQUISA

O planejamento seguir atravs de pesquisas bibliogrficas sobre as palavraschaves, atravs de artigos, livros, dissertaes de forma para que a pesquisa tenha maior consistncia de seus dados expostos. Nestes casos devem-se observar sempre a origem da informao obtida, quanto a sua confiabilidade e tambm atualidade, aplicabilidade e validade. Analisar a confiabilidade da informao (origem) Analisar a Atualidade dos contedos Visualizao: organizao ideal X organizao real Poder servir como auxilio a outras coletas de informao Mais profundas e especficas que o levantamento prvio Neste trabalho, a pesquisa bibliogrfica ressaltar os temas relacionados aos processos de negcios e as Redes de Petri. Para uma fundamentao terica, este trabalho procurou as seguintes abordagens: - No mapeamento dos processos, objetivando para que os gestores tenham uma melhor viso dos processos organizacionais, - Na iterao entre os recursos organizacionais e o modelo do processo, - Propostas do pesquisador Wil van der Aalst, focando a modelagem dos processos de negcio atravs do formalismo das Redes de Petri e, - Na simulao dos processos de negcios com a utilizao das ferramentas Woped e Woflan. Para um melhor desempenho deste estudo e contribuio para a modelagem do processo de negcio, realiza-se a integrao das seguintes abordagens: - Processos de negcios, - Workflow, - Redes de Petri - Workflow-net - Utilizao de ferramentas para modelagem.

1.4 ORGANIZAO

Esta dissertao est organizada como segue (figura 1.1): No captulo II revisam-se os principais trabalhos existentes na rea de administrao, processos de negcios e workflow (WF). No captulo III apresenta-se o formalismo das RdP, suas propriedades, estruturas bsicas dos mecanismos de workflow, definio do Workflow-Net (WF-net), que serviro de base para a realizao da modelagem dos processos de negcio. No captulo IV, baseado na abordagem desenvolvida nos captulos anteriores, ser realizado um estudo de caso em uma empresa do ramo automotivo, aplicando-se uma metodologia de mapeamento e modelagem um processo de vendas. No captulo V, realizada a aplicao do modelo. Finalmente, no captulo VI apresentam-se as principais concluses do trabalho e as sugestes de pesquisa futuras.

Figura 1.1 Estrutura do Trabalho

2 CAPTULO

II

ABORDAGENS

DE

GESTO

ORGANIZACIONAL

PROCESSOS DE NEGCIO

2.1 INTRODUO

Os processos na rea fabril so fceis de observar, independentemente de estar em perodos de bom funcionamento ou na ocorrncia de problemas, pois estes processos industriais sempre tiveram seu desempenho acompanhado de perto por engenheiros ou tcnicos da rea industrial. Nestes processos o desperdcio e o retrabalho so claramente identificveis, e o fluxo do material to importante que os equipamentos e equipes de trabalho podem estar dispostos ao longo dele. Durante os anos 70 e 80, a busca de aperfeioamento na qualidade dos produtos deu origem ao primeiro grande movimento de anlise intensiva dos processos, dentro de programas de racionalizao do trabalho inspirados no sucesso das indstrias japonesas. Os processos tpicos da rea no fabril e das empresas que no tm rea fabril, no entanto, passaram despercebidos por dcadas. O mundo dos negcios, fortemente amparado e alavancado pela Tecnologia da Informao (TI), esto tornando-se cada vez mais competitivo e voltil; as operaes so realizadas por meio de redes eletrnicas de informaes, de maneira extremamente rpida, exigindo das organizaes viso estratgica muito apurada, flexibilidade em sua estrutura organizacional e processos cada vez mais geis, com qualidade e competitividade [D`ASCENO, 2001]. Os processos de negcio so ligados essncia do funcionamento da organizao, sendo especficos da empresa em que operam e, conseqentemente, diferentes de uma organizao para outra [REZENDE, ABREU, 2003]. A implementao do BMP segundo Davenport [1994] fez parte do sucesso das empresas japonesas nas dcadas de 80 e 90, muito antes das empresas ocidentais entenderem a que o assunto se referia, ganhando vantagem com relao s suas concorrentes americanas. A importncia dada ao gerenciamento de processos por muitas empresas na cultura corporativa japonesa garantiu que, em diversas ocasies, tenham desenvolvido processos rpidos e eficientes em reas-chave como desenvolvimento de produtos, logstica, vendas e

comercializao. Neste captulo sero apresentados os conceitos para a compreenso da realizao do mapeamento dos processos de negcio. O mapeamento ser contextualizado dentro do ciclo de vida [Figura 2.1] completo de um processo de negcio dentro da organizao.

Figura 2.1 Ciclo de vida do gerenciamento do processo

2.2 A ADMINISTRAO CIENTFICA

A teoria geral da administrao (TGA) iniciou-se dando nfase nas tarefas, com a administrao cientfica de Taylor. A seguir, a preocupao bsica passou para a nfase na estrutura com a teoria clssica de Fayol e com a teoria burocrtica de Weber, seguindo-se mais tarde a teoria estruturalista. A reao humanstica surgiu com a nfase nas pessoas, por meio da teoria comportamental e pela teoria do desenvolvimento organizacional. A nfase no ambiente surgiu com a Teoria dos Sistemas, sendo completada pela teoria da contingncia, posteriormente, desenvolveu a nfase na tecnologia. Cada uma destas cinco variveis que foram se desenvolvendo no passar dos tempo (tarefas, estrutura, pessoas, ambiente e tecnologia) provocou em seu tempo uma diferente teoria administrativa, marcando um gradativo passo no desenvolvimento da TGA. Cada teoria administrativa procurou privilegiar ou enfatizar uma dessas cinco variveis, omitindo ou relegando a um plano secundrio todas as demais. Originada pelas necessidades de eficincia resultantes do intenso surto industrial do final do sculo XIX e comeo do sculo XX, surgiu uma concepo racionalizadora de administrao a Administrao Cientfica, proposta por Frederick Winslow Taylor (18561915). A teoria que conquistou inmeros seguidores, de tal forma que o nome do seu autor serviu para designar uma corrente de pensamento, apresentava despreocupao com a vertente humanista e psicolgica nas organizaes, vendo-as igualmente como sistemas fechados, sem

ligaes com o meio envolvente que no as puramente comerciais. Dedicou-se ao estudo dos processos laborais, incidindo a sua observao sobre as tarefas dos operrios, no nvel mais baixo da pirmide organizacional, com o objetivo de evitar movimentos desnecessrios, e assim tornar mais barato o produto industrial. Para Taylor, a mxima eficincia seria possvel desde que s empresas programassem uma organizao cientfica do trabalho; o autor procurava ento a eliminao do empirismo, da negligncia e da irracionalidade, preconizando um estudo aprofundado e sistemtico de todos os aspectos que correspondiam execuo de cada tarefa. Deste modo, ao procurar extinguir todas as atitudes arbitrrias por parte das chefias e tambm alguma margem de manobra de que os operrios usufruam, entendia Taylor ser possvel um aumento da produtividade e da rentabilidade das empresas. Foi atravs das suas construes racionais neste sentido que chegou aos Princpios de Administrao Cientfica, a seguir apresentados (1965): - Princpio do planejamento: traduz a necessidade de serem criados pelos rgos superiores de gesto, mtodos cientficos para o estudo dos processos de trabalho, eliminando-se assim o empirismo e atitudes discricionrias das chefias intermdias, e por outro lado a indolncia sistemtica dos operrios. O planejamento permitir aplicar a cincia no processo de trabalho. - Princpio da preparao: defende a seleo de cada operrio de acordo com as suas aptides especficas. Em seguida, aquele dever ser instrudo, por forma a adquirir o mximo potencial de desenvolvimento. - Princpio do controle: prope o controle sistemtico dos operrios por parte dos supervisores funcionais, no sentido de verificar se o seu trabalho cumprido rigorosamente, segundo as regras previamente definidas pela direo. - Princpio de separao entre concepo e execuo do trabalho: cabe s chefias mximas da organizao, com base nos seus conhecimentos sobre o processo cientfico de trabalho, conceb-lo nas diversas vertentes possveis; pelo contrrio, aos operrios pede-se apenas o dispndio de energias fsicas para a execuo das vrias tarefas. Aos membros da direo compete concepo do processo de fabrico e o estudo de mtodos racionais de gesto, traduzidos na diviso do trabalho estandardizada e especializada; aos subalternos, sem conhecimentos cientficos que lhes permitam conceber o processo de laborao, caber cumprir ordens e executar tarefas pr-definidas pelos rgos de chefia.

10

Com a TGA, possvel notar que, desde o incio da administrao cientfica, havia uma busca para a no ocorrncia de desperdcios em todos os seus processos. A modelagem de processos permite aos profissionais do negcio e de tecnologia da informao definir graficamente os processos de negcio, seus fluxos, regras e caractersticas. Para que haja uma melhoria contnua dentro da organizao, motiva-se realizar uma modelagem formal dos processos de negcios. Atravs desta modelagem ser visualizada a relao entre os princpios citados por Taylor e o formalismo das RdP, por meio de uma viso formal de conceitos como processos, atividades, funo, recursos, regras e fluxos de processos. Sendo esta a motivao, a juno real das reas sociais aplicadas e exatas com a modelagem formal dos processos existentes utilizando as RdP, obtm-se uma representao grfica dos processos e possibilidade de anlises de propriedades e desempenho dos processos. Torna-se este trabalho eficiente na medida em que os gestores consigam realizar uma melhor anlise de seu negcio em busca do objetivo final da empresa, a lucratividade.

2.3 PROCESSOS DE NEGCIO

Os processos de negcio e seus projetos ganharam importncia desde o incio dos anos 90, sendo qualquer atividade ou conjunto de atividades que envolvem pessoas, procedimentos e tecnologias. Processo qualquer atividade que recebe uma entrada (input), agrega valor e gera uma sada (output) para um cliente interno ou externo, fazendo uso dos recursos da organizao a fim de gerar resultados concretos. Vem da tradio da engenharia a idia de processo como um fluxo de trabalho, com inputs e outputs claramente definidos, e tarefas discretas que seguem uma seqncia e que dependem umas das outras numa sucesso clara [GOLANI, GAL, 2005; SPECHT, et al, 2005; NEIGER, CHURILOV, 2004; HAQUE, PAWAR, BARSON, 2003; HOLD, 2000]. Um processo de negcio um conjunto de atividades relacionado com o objetivo essencial da organizao - entregar um produto ou um servio ao Cliente. O desenvolvimento de um novo produto, o atendimento de uma solicitao de um cliente, ou a compra de materiais so exemplos de processos. Os processos de negcio so tipicamente avaliados do ponto de vista do Cliente, dos Colaboradores e dos Investidores. Assegurar que os processos de negcio ocorram de forma regular necessrio para maximizar o valor agregado percebido

11

pelos Clientes. Gerir processos de negcio eficientemente crtico para o sucesso da organizao. No entanto, geri-los mais complicado do que poderia parecer primeira vista, fundamentalmente porque no esto isolados e porque interagem entre si. Quanto mais gerenciados forem os seus processos, maior o potencial para que eles tragam os benefcios e resultados planejados pela empresa. Para assegurar a gesto efetiva e a melhoria contnua dos seus processos de negcio, necessrio considerar os seguintes aspectos crticos: Seus objetivos devem ser claros e mensurveis, essencial assegurar um forte compromisso por parte dos gestores e dos Seus colaboradores so fontes valiosas de informao e conhecimento, e o seu

colaboradores da organizao, envolvimento facilita a criao do compromisso necessrio e a aceitao das mudanas propostas. O que se denomina de Ambincia Organizacional e, A comunicao ajuda a criar a Ambincia Organizacional e o compromisso dos colaboradores, bem como a definio dos objetivos a serem atingidos. Construir um modelo orientado a processos pode resolver diversos problemas que normalmente tendem a estar ocultos em um modelo funcional tradicional. O desenho de um modelo de processos permite aos colaboradores compreenderem a viso global da organizao e qual a sua colaborao na organizao. A construo desse modelo requer trabalho em equipe, de forma a assegurar que todo o conhecimento disponvel ser utilizado. Um modelo simples pode conter elementos to especficos como atividades, etapas e tarefas de um processo, funes ou reas organizacionais, mquinas ou outra informao. Um modelo mais elaborado pode conter competncias (conhecimento e habilidades), riscos e contingncias sobre problemas potenciais nos processos de negcio, cenrios para absoro de idias para melhorias e outros comentrios. A gesto de processos realizada de forma eficaz melhora a capacidade de uma organizao antecipar, gerir e responder s mudanas no mercado e a maximizar as oportunidades empresariais. A gesto de processos adequada pode tambm reduzir as insuficincias e os erros resultantes de uma redundncia de informaes e aes empresariais. Com a gesto orientada a processos, permite compreender como de fato produtos e

12

servios so criados na organizao, medida que mostra claramente os problemas, gargalos e ineficincias que em uma organizao tradicional seriam mais difceis de identificar. A Gesto de Processos ajuda as organizaes em: Reduzir tempos de ciclos dos processos, Diminuir custos, Melhorar a eficincia e eficcia interna, Melhorar a qualidade do trabalho desenvolvido, Aumentar a satisfao dos Clientes, Colaboradores e Investidores.

Dentro das organizaes, os processos de negcio so compostos por uma srie de aes e operaes com um determinado objetivo. Estas aes que podem ser humanas ou automticas sendo necessrias para a organizao desenvolver um determinado produto ou servio. Os processos de uma organizao podem ser classificados em produtivo e empresarial [HARRINGTON,1993]: a) Processo produtivo aquele que entra em contato fsico com o produto ou servio que ser fornecido a um cliente externo at, por exemplo, o ponto de embalagem. b) Processo empresarial constitui-se de todos os processos que geram servios e os que do apoio aos processos produtivos fazendo uso dos recursos da organizao para gerar resultados definidos em apoio aos objetivos da mesma. Segundo Harrington [1993] os processos so macro conjuntos ou macroprocessos, e que esto divididos em sub-processos, atividades, procedimentos e tarefas, com as respectivas definies a seguir: - Sub-processo o conjunto de atividades correlacionadas, que executa uma parte especfica do processo, do qual recebe insumos e para o qual envia o produto do trabalho realizado por todas as demais atividades; - Atividade o conjunto de procedimentos que deve ser executado a fim de produzir determinado resultado. A execuo de uma tarefa ou a ao realizada por uma pessoa ou uma mquina; a atividade realizada por ela. Uma atividade pode ser tratada como um processo para obter um produto em particular ou um resultado que corresponder s exigncias de uma tarefa e dos seus objetivos [BEDNY et al, 2000; 2004]. Uma atividade ir possuir um nome, um input, os quais podero ser materiais, equipamentos e outros bens tangveis, tambm poder ser informaes e conhecimentos, e um output. Seu controle e suas

13

caractersticas so apresentados conforme Figura 1 [LORINO, 2000]; - Procedimentos podem ser formais e informais. Formais o conjunto de informaes que indica para o responsvel da atividade como, quando e com o que ela deve ser executada. Informais o conjunto de prticas no escritas que o ocupante de um posto incorpora realizao de seu trabalho; - Tarefas a menor parte realizvel de uma atividade e o seu conjunto compe os procedimentos inerentes a cada atividade.

Figura 2.2: Descrio da Atividade [LORINO, 2000] Segundo Harrington [1993] mais de 80% dos processos empresariais realizados diariamente por uma empresa so repetitivos e estes devem ser controlados de forma anloga aos controles aplicados aos processos produtivos. Apesar da caracterstica da repetibilidade destes processos, isto no confere a eficcia na sua execuo e nem eliminam os erros e falhas existentes nos mesmos, pois geralmente envolvem mais de um departamento e cada um deles se encarrega unicamente de desenvolver a atividade que lhe compete. Sem a viso sistmica da realizao dos processos, as unidades departamentais negligenciam o resultado dos mesmos, desenvolvendo suas atividades isoladamente sem se preocuparem com a sada que ser repassada para outras unidades. O gerenciamento de processos procura entender as funes de cada departamento, propondo uma parceria e

14

proporcionando um comprometimento direto entre seus clientes e fornecedores internos e externos, melhorando a integrao horizontal da mesma por meio dos processos. Com esta viso sistmica da empresa, de clientes e fornecedores internos e externos, torna-se possvel aplicao de controle aos processos empresariais, promovendo sua integrao e melhoria. A modelagem formal mostra-se como uma ferramenta de apoio no processo de mapeamento do conhecimento, anlise e diagnstico, fases estas iniciais implementao do sistema de gerenciamento de processos de negcio. O aperfeioamento de processos pressupe o desenvolvimento do mesmo, consistindo em enxugar os excessos e desperdcios existentes. Medidas como eliminao da burocracia, da duplicidade, programar modernizao, utilizar-se de linguagem simples nas comunicaes e de tecnologias constituem mtodos especficos e comprovados para aperfeioar o processo de forma planejada e organizada [HARRINGTON,1993]. A habilidade em simplificar um processo desse tipo, de forma eficiente e flexvel, o fator de sucesso mais difcil de ser alcanado atualmente pelas companhias. T al dificuldade criou a necessidade de desenvolver e lidar com tcnicas e ferramentas adequadas para identificar, analisar e simular processos de negcios, sendo a estrutura organizacional extremamente voltil em razo das constantes mudanas nas regras dos negcios [PADUA, et al., 2004]. Nesta viso coesa e integrada da gesto dos processos da organizao, surgem novos desafios e propsitos para atender as mudanas que so apresentadas nas regras dos negcios para as tradicionais reas ou departamentos funcionais da empresa. Cada vez mais devem deixar sua postura isolada e procurar contribuir efetivamente na formao de linguagens comuns com outras reas, em especial naqueles processos em que atuam conjuntamente. Neste sentido, podem ser mencionados os efeitos sobre as seguintes reas funcionais: Finanas: enfrentando cada vez mais o desafio de contabilizar ou medir tambm os recursos intangveis (conhecimentos) presentes nos processos de negcios empresariais; Recursos Humanos: trabalhando cada vez mais em fatores tais como a liderana, cultura corporativa, relaes inter-funcionais e gesto por competncias; Qualidade: focando cada vez mais nos processos empresariais, do fornecedor at a entrega ao cliente, e tambm com a busca do conhecimento externo empresa pelo aprimoramento dos procedimentos de benchmarking de melhores prticas;

15

Tecnologia da Informao: implementando nos processos de negcios as novas ferramentas de TI, levando-se em considerao a viso estratgica que a empresa emprega nestes temas e os aspectos humanos e comportamentais ligados ao uso destas ferramentas; Engenharia: pela viso do desenvolvimento de produtos como um processo coordenado pelo uso da engenharia simultnea, que, por meio do envolvimento de pessoas de diferentes reas funcionais, do envolvimento de clientes no projeto e da realizao de experimentaes, contribui com as atividades ligadas formao de competncias centrais da empresa, para a criao de novos conhecimentos e inovaes; Manufatura ou fabricao: contribuindo com mais espaos de converso de conhecimentos tcito / explcito, mediante oportunidade dada por recursos como a produo enxuta, que incentiva o agrupamento de vises diferentes para a anlise e soluo de problemas da produo; Marketing: trabalhando de forma mais abrangente com as fontes de conhecimentos externos empresa, por meio da mudana de foco que incorpora, alm dos retratos da realidade atual (pesquisas de mercado convencionais), o desenvolvimento de sofisticados mecanismos de construo de cenrios para analisar tendncias futuras; Vendas e servios: criando diversos espaos de incorporao de conhecimentos externos empresa, com a acumulao de dados e informaes sobre os clientes em tempo real, que depois podem ser trabalhadas por ferramentas de TI voltadas construo de conhecimentos mediante anlises estatsticas e cruzamentos destes dados e informaes. Com a modelagem destes processos, ser possvel visualizar as atividades de cada rea, quais as relaes que possuem e conseqentemente quais melhorias podem-se buscar. A implementao coordenada de todos os aspectos que sustentam uma bem-sucedida gesto, cria uma vantagem competitiva flexvel e de difcil imitao, pois est enraizada na empresa, e no somente em recursos fsicos, rgidos e mais facilmente imitveis pelos concorrentes. Esta vantagem competitiva se manifesta mais notoriamente de duas formas: a relao do conhecimento com a capacidade de inovar da empresa e a preparao e flexibilidade que esta possui para aprender rpido, reagindo assim favoravelmente s mudanas cada vez mais freqentes no ambiente de mercado em que atua. O mapeamento dos processos poder ser realizado atravs da combinao de vrios "minimapas" de conhecimentos que cada colaborador possua, juntamente com procedimentos e documentos existentes. Estas informaes podem ser obtidas utilizando-se de questionrios

16

para perguntar aos colaboradores quais conhecimentos eles tm e onde obtm os conhecimentos necessrios para realizar seu trabalho. Mapear quem conhece o que na organizao resulta em um inventrio de conhecimentos valiosos, mas isso no significa a garantia de disponibilidade do conhecimento, j que este aspecto est sujeito s regras de mercado mencionadas anteriormente [D`ASCENO, 2001]. A dinmica de consultar a memria organizacional com as facilidades e interatividade permitida pela tecnologia proposta, fazer uma anlise do contedo consultado, procurar as pessoas ou conhecimentos registrados e, em seguida, tomar decises com base nesses conhecimentos e documentar estas decises, incrementando assim a memria organizacional, forma um perfeito e contnuo ciclo de converso de conhecimentos explcitos / tcitos / explcitos. Com o modelo dos processos de negcio, a organizao poder utiliz-lo para monitorar, simular, analisar e controlar o andamento do negcio, reconhecendo melhor o processo descrito. Estes sistemas podero ser usados como base para o planejamento de alocao de recursos [FREITAS, 2001]. A modelagem dos processos de negcios essencial como base de referncia para discusses, a fim de apoiar obteno sistemtica de uma viso holstica da empresa. Esta modelagem facilita a compreenso do ambiente empresarial, devido ser uma representao da estrutura, das atividades, dos processos, das informaes, dos recursos, do pessoal, do comportamento, dos objetivos e das restries das empresas, colaborando no entendimento das complexas interaes entre as organizaes e as pessoas. Os modelos de processos podem ser simulados e analisados para reconhecer e melhorar o processo descrito. Eles podem ser usados, ainda, como base para o planejamento de alocao de recursos. Um sistema de gerenciamento de processos de negcio pode utilizar um modelo para monitorar e controlar o andamento do negcio (Figura 2.3).

17

Figura 2.3 Fases e componentes de um sistema de negcios. Fonte: Salimifard & Wright (2001, p. 666). Muito prximo do termo modelagem de negcio, est o conceito de workflow ou fluxo de trabalho. A automao do processo de negcio identifica as vrias atividades do processo, regras de procedimento e controle de dados associados para gerenciar o workflow durante a ativao do processo [FISHER 2002]. Os conceitos se confundem na prtica, pois para a adoo de workflows necessria realizao da modelagem dos processos.

2.4 O QUE WORKFLOW

De acordo com Aalst [2002], o workflow o aspecto operacional de um procedimento do trabalho: como as tarefas so estruturadas, quem as executa e como so sincronizados, como os fluxos de informao suportam as tarefas e como as tarefas esto sendo seguidas. Workflow um conjunto de regras que governam a seqncia de atividades para completar um trabalho que envolve diversos participantes. comum o termo "workflow" ser usado com significados mais abrangentes. O significado alternativo mais comum est relacionado troca de informaes entre os participantes de um trabalho colaborativo. Workflow a automao de um processo de negcio, por inteiro ou em parte, durante o qual informaes, tarefas e documentos so passados de um participante para outro, respeitando um conjunto de regras procedurais. Os workflows do negcio so mais genricos, podendo representar toda a estrutura das tarefas, e so igualmente aplicveis tarefa de um

18

usurio que programa dentro da aplicao do software e que organiza um papel dentro de uma organizao. Suas origens datam os anos 70, quando eram puramente baseados em papis, e os princpios desse perodo fizeram transio do moderno sistema de infra-estrutura. Workflow pode ser definido como seqncia de passos necessrios para que se possa atingir a automao de processos de negcio, de acordo com um conjunto de regras definidas. O conceito de Workflow foi concebido de acordo com a noo de processos. Permitindo que estes possam ser transmitidos de uma pessoa para outra de acordo com algumas regras. O gerenciamento de workflow possui um conjunto de ferramentas para administrao de monitoramento, para controlar aplicaes clientes do workflow, as aplicaes invocadas, ferramentas de processos dentre outras. Sistemas de workflow se inserem no contexto geral de software cujo objetivo o suporte ao trabalho cooperativo, onde se enfatiza a interao entre usurios, e no apenas a interao usurio/sistema. Este software ou conjunto de software permite organizar, automatizar e gerenciar o fluxo de processos, com nfase em seus documentos [D`ASCENO, 2001; JANSSENS et al, 2000]. A figura 2.4 ilustra o relacionamento entre os elementos e definies de processo de negcio e seus equivalentes em execuo em workflow. Nota-se, portanto, a permanncia da estrutura semntica definida na fase de modelagem e anlise (build time) e a da estrutura em execuo (run time) atravs da instanciao do processo e controle. Tais etapas so explicitadas nas figuras 2.3 e 2.5.

19

Figura 2.4: Relacionamento de Elementos de Processos de Negcio e Workflow [SALIMIFARD & WRIGHT, 2001]. Para uma organizao, a implementao de uma ferramenta workflow, conduz aos seguintes benefcios: eliminao do incmodo e do lixo dos produtos de papel; simplificao dos formulrios previstos; acesso remoto; arquivamento e recuperao de informaes simplificadas; habilidade de rapidamente trilhar as informaes submetidas; possibilidade de saber os responsveis de cada tarefa do processo; aumento no tempo de linhas de informao. melhora da eficincia da organizao; aumento de produtividade; aperfeioamento de processos e relatrios de controle; maior aceitao, pelos colaboradores, dos regulamentos internos e externos;

20

melhora da vantagem competitiva; aumento do conhecimento dos processos da organizao.

Figura 2.5 Fases e estruturas BPM e Workflow [FISCHER, 2002].

2.5 CICLO DE DESENVOLVIMENTO

Realizar a modelagem e anlise de um processo de negcios, por inteiro ou uma parte, durante o qual documentos, informaes e tarefas so passadas de um participante para outro aumentar a eficincia de processos de negcio, tanto os crticos quanto os eventuais, e a efetividade das pessoas que trabalham em conjunto para execut-los. Organizar e automatizar fluxo de processo uma preocupao constante e antiga das empresas. H pelo menos trs dcadas que as empresas vm tentando melhorar o fluxo de seus processos, visualizando diminuir custos e ganhar maior agilidade. Na literatura metodologias baseadas em ciclos de desenvolvimento ou ciclos de vida de processos de negcio so propostas de forma a auxiliar no processo de construo de um sistema de gerenciamento de processos de negcio eficiente. Nestas metodologias, as fases de mapeamento do conhecimento e modelagem atuam como pilares para estrutura. Analisar um processo examinar cada parte, visando conhecer seus objetivos, suas

21

funes, suas atividades, seu fluxo de informaes e suas relaes com os demais processos existentes (Figura 2.6). O quadro 2.1 permite verificar quais as questes que devero ser respondidas no levantamento e na anlise do processo.

Quadro 2.1 Atitude Interrogativa no levantamento e na anlise [D`ASCENO, 2001].

2.6 Verificao do processo [AALST, 2000] Na literatura relacionada teoria de simulao, formas metodolgicas similares aos ciclos de desenvolvimento e de vida dos sistemas BPMs so igualmente tratados, como mostra a figura 2.7. Nesta abordagem, temos a concepo, implementao e anlise do modelo. A concepo realizada atravs da formulao e representao do modelo, aps realiza-se a sua implementao, verifica-se e valida-se o modelo e por fim, analisa-se o modelo e realizam-se experimentaes com este [LINSAY, et al, 2003].

22

Figura 2.7 Abordagem metodolgica da Teoria de simulao [CHWIF & MEDINA, 2006] Inspirado nestas propostas metodolgicas e no cenrio de correlao com a teoria de simulao de eventos discretos, sugere-se um ciclo de desenvolvimento composto pelas seguintes fases, ilustrado na figura 2.8: 1 Fase: Mapeamento do conhecimento 2 Fase: Modelagem 3 Fase: Anlises qualitativas (diagnstico) e quantitativas (desempenho) 4 Fase: Implementao / execuo 1 5 Fase: Acompanhamento ou monitoramento para diagnstico sobre o processo real 6 Fase: Re-design (melhorar)

Termo referenciado tambm na literatura como enactement.

23

Figura 2.8: Ciclo de Desenvolvimento Atravs de um estudo de caso, ser modelado um processo de vendas em uma empresa do ramo automotivo. Para este estudo, a escolha da ferramenta para as etapas de modelagem e anlise (build time) ser por um software livre, ficando para um estudo futuro a utilizao de uma ferramenta comercial para as etapas de execuo/implementao e monitoramento (run time). Para que haja uma melhor conexo entre as fases de modelagem, simulao e anlise e a fase de execuo e monitoramente em ferramenta comercial (Figura 2.8), desejvel a manuteno no formato dos modelos desenvolvidos. Para tal, buscou-se neste trabalho de dissertao um conjunto de ferramentas (toolset) que apresentem a mesma base de representao e formalismo, as redes de Petri. Na implementao futura dos modelos em ferramenta de execuo e monitoramento, mantm-se o formato dos modelos e seu poder de representao atravs da instanciao dos elementos modelados em um ambiente dotado de mecanismo de execuo (engine) baseado em redes de Petri. Esta uma grande vantagem e motivao para o desenvolvimento deste trabalho.

24

2.6 CONSIDERAES FINAIS

Neste captulo foi abordado um referencial terico sobre a gesto organizacional. Verificou-se a importncia que os processos de negcio significam para a organizao e a necessidade de uma ferramenta que abranja todos os recursos, de tempo, humano, atividade. Na administrao cientfica, focava-se na eliminao do desperdcio, e atravs das propriedades citadas por Taylor, buscou-se aperfeioar os processos industriais, melhorando sua gesto e conquistando melhores resultados. Com o decorrer das dcadas, observa-se a importncia dos processos de negcio, e na dcada de 90 iniciaram-se estudos com foco na importncia destes processos. Neste captulo props-se um ciclo de desenvolvimento dividido em 6 fases. A contribuio deste trabalho est focada nas etapas de mapeamento, modelagem e anlise desenvolvidas nos captulos subseqentes.

25

3 CAPTULO III - REDES DE PETRI COMO FORMALISMO PARA MODELAGEM DE PROCESSOS DE NEGCIO

3.1 INTRODUO

Sistema a eventos discretos (SED) um sistema dinmico, a espao de estados discreto que evolui de acordo com a ocorrncia abrupta de eventos fsicos, em intervalos de tempo em geral irregulares e desconhecidos. Os sistemas de interesse percebem as ocorrncias no mundo externo atravs da recepo de estmulos, denominados eventos. So exemplos de eventos o incio e o trmino de uma tarefa, mas no a sua execuo. A ocorrncia de um evento causa, em geral, uma mudana interna no sistema, a qual pode ou no se manifestar a um observador externo. Desta forma, a simples passagem do tempo no suficiente para garantir que o sistema evolua; para tanto, necessrio que ocorram eventos, sejam estes internos ou externos. Note ainda que a ocorrncia desses eventos possa depender de fatores alheios ao sistema, de modo que este no tem, em geral, como prev-los. Foram desenvolvidos at o momento vrios modelos para SEDs, sem que nenhum tivesse se afirmado como universal. Esses modelos refletem diferentes tipos de SEDs bem como diferentes objetivos na anlise dos sistemas em estudo [QUEIROZ, CURY, 2002; CURY, 2001]. Os principais modelos utilizados para sistemas a eventos discretos so os seguintes: Redes de Petri e suas extenses; Cadeias de Markov; Teoria das Filas; Processos Semi-Markovianos Generalizados (GSMP) e Simulao; lgebra de Processos; lgebra Max-Plus; Lgica Temporal e Lgica Temporal de Tempo Real; Teoria de Linguagens e Autmatos (Ramadge-Wonham)

26

O gerenciamento de processo vem por dcadas entusiasmadas por vrios movimentos de processo orientados. Uma companhia poder se focar em Seis Sigma ou na qualidade total ou em software ou na reengenharia da gerncia de processo, mas nunca podem generalizar esse interesse em um foco maior em identificar, compreender, e melhorar processos do negcio [DAVENPORT, 2004]. Apesar de todo este desenvolvimento e da importncia que esta rea vem recebendo dentro das organizaes ainda persistem grandes barreiras para a aplicao destes modelos. Uma das principais barreiras a complexidade gerada pela quantidade grande de elementos necessrios para a representao destes tipos de sistemas e a ausncia de tcnicas mais complexas para anlise do gerenciamento do workflow. Com esta dificuldade, criou a necessidade de desenvolver e lidar com tcnicas e ferramentas adequadas para identificar, analisar e simular processos de negcio. [DESEL & ERWIN, 2000]. As RdP tm excelente potencial na minimizao destes problemas, pois: Possuem representao grfica; So de fcil aprendizado; Funcionam como linguagem de comunicao entre especialistas de diversas reas; Permitem descrio dos aspectos estticos e dinmicos do sistema a ser representado; Usufrui de formalismo matemtico, o que permite uso de ferramentas de anlise. Na modelagem e execuo de processos de negcio so relevantes as seguintes perspectivas: Fluxo de controle ou processo; Recurso; Dados; Tarefas; Operao. A utilizao de um processo em um sistema de gerenciamento de processos de negcio, indica necessidade de gerenciamento de uma categoria particular. Tal processo define as tarefas que precisam ser executadas. Um grande processo pode consistir-se de subprocessos, tarefas e condies. As condies asseguram tarefas em ordem correta e verificam se o estado pode ser estabelecido. A notao utilizada para a construo de RdP emprega trs premissas: lugares, transies, fluxos (arcos dirigidos). Para a aplicao da notao de RdP na construo de modelos de negcios necessrio realizar o mapeamento dessas trs premissas com os componentes dos processos, ou seja, pessoas, tarefas, documentos, recursos, comunicaes,

27

etc. Os lugares, representados por um crculo, indicam tipicamente a validade ou no de uma condio em certo momento da dinmica do sistema modelado. Essa condio pode ter um significado lgico fazendo referncia as variveis de estados ou ter um significado mais material, por exemplo, a disponibilidade de recursos fsicos ou de informao no sistema. Alguns exemplos de condies representadas por lugares de uma RdP seriam: Disponibilidade que indica a ocupao ou no de materiais, pessoas, ferramentas, documentos, equipamentos, sistemas, locais, etc. Eventos que representam acontecimentos ou notificaes, como vencimentos, chegada de e-mail, decises, chegada de matria-prima, avisos de chegada, correspondncias, etc. Estados que representam situao momentnea em que se encontra determinada entidade ou pessoa. As transies ocorrero em funo da dinmica do negcio e podem se dar ao mesmo tempo. Essa dinmica determina a habilitao de tais transies permitindo que venham a acontecer. O encadeamento das marcaes determina a evoluo dos estados do negcio. As transies esto relacionadas com: a) Aes materiais: quando h representaes de aes fsicas como entregar materiais, receber papis, escrever documentos, registrar informaes, enviar notificaes, etc. b) Aes informativas: so aquelas que esto relacionadas com as aes sobre informaes como consultar uma informao. O consumo est relacionado com a retirada da marca na posio de consulta, ao contrrio da consulta que no retira a marca. Uma transio pode produzir nenhuma, uma ou mais marcas em seus lugares de sada. A no produo de marca na ocorrncia de uma transio relativa a uma ao que ocorreu e finalizou um processo como, por exemplo, a excluso de um registro. Um fluxo uma ligao entre um lugar e uma transio, e vice-versa, e representado por um arco dirigido. Quando ele de um lugar para uma transio, estabelece uma pr-condio para a ocorrncia dessas. J um fluxo de uma transio para um lugar, determina uma ps-condio (uma conseqncia) para essa transio. O conjunto de fluxos de uma RdP estabelece o encadeamento de condies e transies da rede definindo, portanto, seu comportamento dinmico.

28

3.2 REDES DE PETRI

Para o trabalho em estudo, entre todos os modelos utilizados para sistemas a eventos discretos, ser utilizado o modelo de RdP e suas extenses para realizao do formalismo dos processos de negcio. As Redes de Petri foram inventadas em 1962 por Carl Adam Petri em sua tese de doutorado, uma rede de Petri ou rede de transio uma das vrias representaes matemticas para sistemas distribudos discretos. Como uma linguagem de modelagem, ela define graficamente a estrutura de um sistema distribudo como um grafo direcionado com comentrios. Uma rede de Petri composta por lugares e transies e tem uma representao grfica padro onde lugares so crculos e transies so quadrados. Lugares e transies so conectados por arestas dirigidas, formando um grafo bipartido dirigido, isso , seguindo a direo de uma aresta s possvel ir de um lugar para uma transio ou de uma transio para um lugar (Figura 3.1). Nas RdP, a informao do estado est distribuda por um conjunto de lugares que capturam as condies chave que governam o sistema e possui maior modularidade para construo de modelos de um sistema a partir de modelos dos seus subsistemas.

Figura 3.1. Uma rede de Petri simples. Lugares e transies representam o aspecto esttico de uma rede de Petri, o aspecto dinmico representado por fichas. Uma ficha uma marca que s pode ocupar lugares e que muda de lugar de acordo com o disparo das transies. Na rede de Petri clssica, quando uma transio dispara ela consome uma ficha de cada entrada (lugares com arestas chegando na transio) e produz exatamente uma ficha em cada sada (lugares com arestas deixando a transio). Com o formalismo das RdP ser possvel analisar e identificar o funcionamento dos processos de negcio da organizao. A seguir, visualizaremos as propriedades e caracterscticas das RdP que iro

29

contribuir para a modelagem formal dos processos de negcios. As RdP so uma ferramenta para modelar e analisar processos dinmicos. uma linguagem com forte apelo grfico, relacionando estados e aes de sistemas sendo utilizadas para especificao, projeto, simulao e verificao de diversos contextos: sistemas de manufatura, sistemas distribudos, redes de comunicao, sistema de controle, business process management (BPM), dentre outros. Um completo overview do estado da arte nas aplicaes de RdP pode ser encontrado em Girault & Valk [2003]. Os sistemas de BPM so solues voltadas automao de processos com o objetivo de trazer maior agilidade e flexibilidade na execuo das atividades. Sua principal caracterstica a capacidade de se adaptar aos processos da empresa, sendo flexvel para se adequar rapidamente s mudanas contnuas nos processos de negcio. O contexto de BPM e seu tratamento atravs de RdP uma emergente linha de pesquisa abordada pela comunidade cientifica Desel [2000] e Aalst [2002]. Com o formalismo das RdP ser possvel analisar e identificar o funcionamento dos processos de negcio da organizao. Neste contexto, encontram-se na literatura as WF-Nets [AALST 2002, 2004] que apresentam propriedades especificas e apropriadas para o tratamento de processos de negocio e workflow [LI, 2001]. Outras extenses de RdP no contexto BPM e WF so analisadas em [REIJERS, 2003] [AALST, 2000]. Aalst & Hee [2002] identificam trs razes principais para aplicar RdP na modelagem de workflow: 1. as RdP possuem tanto semntica formal quanto natureza grfica; 2. elas podem modelar explicitamente estados do sistema; e 3. h variedade e disponibilidade de tcnicas de anlise. A principal vantagem de empregar RdP na modelagem de workflow a combinao de fundamentao matemtica, representao grfica compreensiva e possibilidade de simulaes e verificaes [SALIMIFARD, WRIGHT, 2001].

3.3 REDES DE PETRI E SUAS PROPRIEDADES

Uma rede de Petri clssica um grafo bipartido e um estado inicial, chamado de marcao inicial ou M0. O grafo de uma rede de Petri orientado e seus arcos possuem pesos. Formalmente, a rede de Petri dada por uma quntupla, RP = (P, T, F, W, M0), em que: P = {p1, p2, , pm} conjunto finito de lugares;

30

T = {t1, t2, , tm} conjunto finito de transies; F (P x T) (T x P) conjunto de arcos; W : F {1, 2, 3, } funo de pesos; Mo : P {0,1, 2, 3, } marcao inicial;
P T = e P T . Na literatura as RdP geralmente esto divididas em trs principais classes: RdP ordinrias, abreviaes e extenses [CURY, 2001]. As RdP ordinria possuem arcos com omesmo peso, o qual 1, apenas um s tipo de ficha, a capacidade de lugares infinita, o disparo de uma transio pode acontecer se cada lugar precedente tiver no mnimo uma ficha e nenhum tempo envolvido. As abreviaes correspondem a representaes simplificadas que tm por finalidade facilitar a representao grfica e possuem o mesmo poder de modelagem das RdP. Dentro desta classe esto consideradas as RdP generalizadas, RdP com capacidade finita, e as RdP coloridas [LINDSTROM, 2002]. As extenses por outro lado correspondem a modelos para os quais as regras de funcionamento sofrem algumas variaes com a finalidade de enriquecer a capacidade de representao do modelo inicial. A seguir sero definidas as propriedades relativas RdP definidas comumente na literatura como propriedades dependentes da marcao inicial e propriedades estruturais [ZHOU, 2005]. As RdP marcadas no permitem a obteno direta de algoritmos capazes de determinar se a propriedade ou no verificada, pois o conjunto de marcaes acessveis sempre finito. As RdP no marcadas, que impedem sua marcao inicial, permitem derivar mtodos de clculo, diretamente das definies, atravs da resoluo de um sistema de equaes lineares. As RdP estruturais, pode-se utilizar tambm a informao sobre a marcao, definindo-se assim, os invariantes de lugar e de transio, que permitem algumas informaes adicionais sobre o comportamento dinmico da rede de Petri [CARDOSO e VALETTE, 1998]. No contexto de workflow, de acordo com Pankratius [2005], a verificao e a

31

validao so negligenciados freqntemente. A verificao precisa para verificar se o sistema resultante esteja livre de erros lgicos. J a validao necessria para verificar se o sistema se comporta realmente como o esperado, a validao contexto dependente e pode somente ser feito com o conhecimento do processo de negcio. Atravs das RdP estruturais, ser possvel visualisar a relevncia da validao e da verificao para os processos de negcios. 3.3.1 Redes livres de bloqueio Uma RdP com marcao inicial M0 livre de bloqueio se para toda marcao M A(R, M0) existe pelo menos uma transio t T sensibilizada. Esta propriedade permite identificar bloqueios no sistema. 3.3.2 Redes vivas e quase vivas Uma RdP viva para uma marcao inicial M0 se toda transio t T permanece sempre potencialmente sensibilizvel. se uma rede no viva, existem transies que deixam de ser sensibilizveis. Esta propriedade permite checar operacionalidade do sistema. Uma RdP viva garante que nenhum bloqueio ocorra e garante a inexistncia de lugares mortos. Uma RdP quase-viva para uma marcao inicial M0 se toda transio t T potencialmente sensibilizvel pelo menos uma vez. 3.3.3 Redes reinicializveis Uma RdP reinicializvel para uma marcao inicial M0 se seu grafo de marcao acessvel fortemente conexo (marcao inicial sempre reatingvel). possvel portanto, a partir de qualquer marcao M0 de GA(R,M), encontrar uma sequncia de disparo s que leve de volta marcao inicial M. 3.3.4 Marcao / Estado de recepo Uma marcao acessivel M de A(R, M) um estado de recepo se ele acessvel de qualquer marcao acessvel M de A (R,M). Se o estado de recepo indicado pela

32

marcao inicial Mo, o sistema (RdP) pode ser dito reinicializvel. 3.3.5 Redes k-limitadas Um lugar p P de uma RdP k-limitado para uma marcao inicial M0 se " marcao acessvel M, M(p) k. Uma RdP k-limitada se todos seus lugares so klimitados. Para o caso k = 1, diz-se que o lugar ou a rede binria (safe). Esta propriedade permite checar p.ex. limitao de buffers. 3.3.6 Invariantes de lugar Elementos nas somas so independentes de M0 e definem os invariantes de lugar. Componente conservador (invariante linear de lugar): wT.C = 0, onde C a matriz de incidncia e zT um vetor de tamanho igual ao numero de lugares wT = [w1, w2,...,wn]. Esta propriedade permite checar coerncia do modelo e ganhar conhecimento sobre o sistema. 3.3.7 Invariantes de transio uma sequncia de disparos de transies que no modifica a marcao da rede e corresponde a uma sequncia cclica de eventos que pode se repetir indefinidamente. Esta propriedade permite identificar comportamentos cclicos do sistema.

3.4 REDES DE PETRI DE ALTO NVEL

Devido as RdP serem grficas, elas so facilmente acessveis e usveis. Tambm tm uma slida base matemtica e existem muitas tcnicas analticas disponveis. A despeito deste ponto forte, a rede de Petri clssica tem limitaes em muitas situaes prticas. Tornase demasiado grande e inacessvel, ou ento no possvel modelar uma atividade especfica. Por causa disto, a rede de Petri clssica foi estendida de vrias formas. Graas a estas extenses possvel modelar situaes complexas de forma estruturada e acessvel. Chamamos RdP estendidas com cor, tempo e hierarquia, sendo estas, as trs extenses mais

33

importantes das Redes de Petri de alto nvel [LOURES, 2006]. Como a descrio completa de RdP de alto-nvel seria demasiado longa, limitarmo-nos a apenas aqueles aspectos mais importantes no contexto de gesto de workflow. As RdP de Alto Nvel surgiram nos anos 70 e 80 e foram propostas para resolver problemas relacionados a complexidade de representar o comportamento real dos sistemas. Com o grande crescimento da utilizao deste formalismo pela comunicade cientifica e industrial, atualmente tal formalismo recebe orientao e conformidade da norma ISO/IEC 15909. A ISO/IEC 15909 define uma sintaxe abstrata para forma grfica e semntica de CPN (Coloured Petri Nets), ele passa de formato de transferncia para PN PNML (Petri Net Markup Language), baseado em XML, sendo suas extenses: construes modulares (hierarquia em CPN), e extenses de tempo. Tendo sido dividido em trs partes, quais sejam: a parte 1, designada por RdP de alto nvel Conceito, Definio e Notao Grfica; a parte 2, designada por RdP de alto nvel Formato de transferncia; e a parte 3, designada por RdP de alto nvel Extenso. Estas trs partes iniciaram sua tramitao pelo longo processo de aprovao de padres ISO em momentos diferentes e, conseqentemente, esto em fases diferentes de padronizao. A ISO/IEC-15909-1 foi ratificada como padro em julho de 2003, tendo seu texto recebido a ltima atualizao em maio de 2002. A ISO/IEC-15909-2 e a ISO/IEC-15909-3 iniciaram suas tramitaes, respectivamente, em junho de 2003 e janeiro de 2004. Os objetivos da ISO/IEC 15909, como referncia para utilizao de ferramentas Petri: interoperabilidade, projeto e especificao, facilitar o desenvolvimento de sistemas distribudos sob o conceito RSP (Rapid Specification Prototyping). Seus campos de aplicao so diversos: requerimento de analises; especificaes, projeto e testes; descrio de sistemas existentes para re-design; modelagem de BP e sistemas de software; prover semntica para linguagens concorrentes; simulao e analise de sistemas; desenvolvimento de ferramentas Petri; etc. 3.4.1 Redes de Petri coloridas As RdP coloridas, incorpora tipos de dados para representao dos dados e pode utilizar a decomposio hierrquica sem comprometer as qualidades das RdP originais. Uma rede de Petri colorida associada a uma macao inicial uma sextupla dada

34

por: Rc = (P,T,Cor,Csc,W,X0) onde, (Figura 3.2) P um conjunto finito de lugares T um conjunto finito de transies Cor um conjunto finito de cores Csc a funo sub-conjunto de cores que a cada lugar e a cada transio associa um sub-conjunto de Cor (as cores possveis para este lugar ou esta transio): Csc:PT (Cor). W a funo de incidncia (equivalente de C = Pre-Post), onde cada elemento W(p,t) de W tambm uma funo. W(p,t):Csc(t) x Csc(p) X0 a marcao inicial que associa, para cada lugar e para cada cor possvel neste lugar, um nmero de fichas. X0(p):Csc(p)

Figura 3.2 - Rede de Petri Colorida Atravs das RdP coloridas, as fichas so usadas para modelar um conjunto de informaes em uma mesma base estrutural (dobramento de uma rede de Petri). Num modelo podem representar reclamaes de seguro e em outro por exemplo, o estado das luzes de trnsito. No entanto na rede clssica de Petri impossvel distinguir entre duas fichas: duas no mesmo lugar so, por definio, indistinguveis. Esta uma situao indesejvel. No caso de duas reclamaes de seguro, por exemplo, atravs das RdP coloridas, possvel incorporar caractersticas separadas de duas reclamaes no modelo. Objetivo principal reduzir o tamanho do modelo, permitindo que marcas individualizadas (cores) representem diferentes processos ou recursos em uma mesma subrede. Inicialmente as marcas eram representadas por cores (ou padres) que possibilitassem a distino das marcas. Em algumas situaes, h uma necessidade de fazer tais condies de dados

35

mutuamente exclusivas menos restritivas. Por exemplo, dois tipos de recursos necessitam tratar trs tipos de tarefas. Cada grupo de recursos especializado em apenas uma tarefa especfica; entretanto, uma tarefa de tipo mais genrico pode ser executada por qualquer tipo do recurso. Poder relaxar condies de dados mutuamente exclusivas pode resultar em uma distribuio mais flexvel do trabalho. Utilizar as RdP coloridas para modelar os processos de negcios, torna-se de grande valia, devido a possibilidade de distinguir diversos processos que estejam ocorrendo ao mesmo tempo [ZHU et al, 2004]. Nas RdP coloridas tambm possvel estabelecer pr-requisitos para uma transio se tornar habilitada. No somente as marcaes devem estar disponveis nos respectivos lugares de entrada, como tambm os pr-requisitos devem ser cumpridos para que a transio esteja pronta para disparar. Estas prcondies agem como transies de controle. Se uma pr-condio de uma transio foi cumprida ou no, depende dos valores das marcaes a serem consumidas. Em contraste com as RdP clssicas, a representao grfica das RdP coloridas no contm mais toda a informao do modelo. Alm do diagrama, necessrio especificar que pr-condies existem para cada transio. 3.4.2 Redes de Petri com extenso do tempo O formalismo a que chamamos de redes de Petri possibilita a representao de sistemas dinmicos a eventos discretos, com atividades concorrentes e assncronas. Entretanto, para que seja possvel especificar sistemas de tempo real, avaliar o desempenho de sistemas dinmicos de um modo geral e examinar questes referentes ao seu escalonamento, por exemplo, necessrio que se considerem informaes relativas ao tempo em que ocorrem os eventos no sistema considerado. Os modelos estudados at o momento permitem apenas a descrio funcional desses sistemas, levam em conta apenas a relao causal entre os eventos dos sistemas modelados, mas no possibilitam a representao da relao do tempo de ocorrncia de tais eventos. A rede de Petri temporizada obtida associando-se cada transio da rede ordinria uma durao de tiro. Sua semntica uma noo de atraso diante a qual as fichas utilizadas para disparar a transio no so disponveis ou visveis em nenhum lugar. A partir do momento que a ficha se torna visvel num lugar, ela pode ser utilizada imediatamente por

36

qualquer transio de sade deste lugar [CARDOSO e VALETTE, 1998]. O tempo de execuo de uma ao considerado. Por exemplo, a ficha leva segundos para sensibilizar t2. Definio formal: Rt = < R,f > (Figura 3.5) R uma RdP < P, T, Pre, Post, X0> f : T Q+ a funo durao de disparo, que associa a cada Transio um nmero racional que descreve a durao do disparo.

Figura 3.5 - Redes de Petri Temporizadas A rede de Petri temporizada pode associar o tempo ao lugar ou transio. As fichas desaparecem ou ficam indisponveis ou reservadas durante certo tempo, e reaparecem aps na marcao. Quando um lugar da rede recebe uma marcao as transies seguintes poderiam estar habilitadas para ocorrncia, no entanto, antes da realizao desses prximos eventos h a necessidade de se executar algum tipo de processamento que no instantneo. Dessa forma, deve-se reter o avano da marcao pelo tempo necessrio para a execuo desse processamento. A representao de tempo feita no lugar e no na transio, mesmo que essa ltima tenha um tempo para ocorrer. Isso torna a representao mais intuitiva. Desta forma, podemos responder a questes como: - Quantos eventos de um dado tipo podem ocorrer num dado intervalo de tempo? - Quanto tempo permanece o sistema num dado estado? Quando associado s marcas, elas carregam uma informao indicando, geralmente, quando a marca estar disponvel para ser considerada para a habilitao de transies. Quando a informao de tempo est associada aos arcos, a cada arco associado um tempo de disparo. Quando a informao de tempo est associada aos lugares, usualmente, corresponde a uma indicao do tempo que a marca deve permanecer naquele lugar antes de ser utilizada

37

para a habilitao das transies sucessoras do lugar em questo. Finalmente, quando o tempo associado s transies a indicao refere-se, de modo geral, tempo que a ao leva para ser executada.

3.5 MAPEAMENTO DE ESTRUTURAS BSICAS DE WORKFLOWS EM RDP

A tecnologia de workflow, atravs da automatizao dos processos de negcio executados na organizao, proporciona no apenas a reduo de custos, tempo, erros e redundncia na execuo dos processos, mas tambm maior controle sobre os mesmos, o que leva ao incremento da qualidade dos processos, de seus resultados e da organizao como um todo. Devido a estes e outros fatores crescente o interesse acadmico e cientfico por sistemas de workflow e pelo gerenciamento de processos de negcio (BPM). Devido suas vantagens potenciais, padres de workflow tm atrado ateno de pesquisadores e da indstria de software. Ns ltimos anos, diversas abordagens tm sido propostas. Em [AALST, 2002] so descritos 21 padres de workflow para controle de fluxo (e.g., seqencial, paralelo, condicional). Tais padres so teis tanto para a definio de workflows, como para validar o poder de expresso das linguagens e ferramentas de workflow [AALST 2004]. Modelagem e anlise de workflow baseadas em RdP uma rea de pesquisa ativa. As RdP tm excelente potencial, uma vez que possuem representao grfica, so de fcil aprendizado, funciona como linguagem de comunicao entre especialistas de diversas reas, permite a descrio dos aspectos estticos e dinmicos do sistema a ser representado e ainda usufruem de um formalismo matemtico que permite a utilizao de diversos mtodos de anlise. Desde que Zisman [1977] usou RdP para modelar workflow pela primeira vez, muitos autores publicaram trabalhos que procuravam integrar os dois assuntos. Entre eles pode-se citar: Eshuis, Dehnert [2003], Zhang [2006], Eshuis, Wieringa [2003], Hechel [2003], Eriksson, Penker [2000] e Verbeek et al. [2000]. A representao grfica das RdP tem se mostrado muito til, pois permite a visualizao dos processos e a comunicao entre eles. Uma explicao pertinente, no entanto, diz respeito maneira pela qual modelamos os construtos de roteamento e sincronizao, mais especificamente os AND-splits, AND-joins, OR-splits, OR-joins e XOR-

38

joins (Figura 3.7). As conexes servem para determinar o seqenciamento das tarefas. O AND-split inicia um roteamento paralelo, e composto de uma transio com dois (ou mais) lugares de sada, de modo que estes lugares iniciem trilhas paralelas de tarefas. O AND-join encerra o roteamento paralelo, e representado por uma transio com dois (ou mais) lugares de entrada. O OR-split inicia um roteamento condicional, ou seja, apenas uma das trilhas possveis ser seguida. Em RdP, o OR-split representado por uma situao de conflito, ou seja, um lugar com mais de uma transio de sada (apenas uma delas ser disparada a cada ficha que chega no lugar). O OR-join encerra um roteamento condicional, sendo representado por um lugar com mais de uma transio de entrada. A perspectiva do processo muito importante, uma vez que o ncleo de qualquer sistema de informao essencialmente formado por processos. Aalst & Hee [2002] explicam que, na dimenso de fluxo de controle, a construo de blocos AND-split, AND-join, OR-split e OR-join servem para modelar rotas seqenciais, condicionais, paralelas e interativas. Temos, portanto:

Figura 3.7 - Representao de blocos OR e AND Aalst & Hee, 2002 A partir das conexes bsicas, possvel construir algumas estruturas lgicas tpicas de workflows: paralelismo e sincronismo, seleo ou deciso. Estas quatro estruturas lgicas so mostradas nas Figuras 3.8 e 3.9. Paralelismo e sincronismo: Se uma ou mais tarefas podem ser executadas ao mesmo tempo ou em qualquer ordem. O paralelismo um trecho de RdP iniciado por um ANDsplit e

39

finalizado por um AND-join, e representa trilhas de tarefas executadas em paralelo. A tarefa subseqente s ativada aps a concluso de todas as atividades em paralelo (sincronismo).

Figura 3.8 - Representao de paralelismo e sincronismo Seleo ou deciso: Envolve uma escolha de uma dentre duas ou mais tarefas. O condicional exclusivo um trecho iniciado por um OR-split e finalizado por um OR-join, e representa caminhos alternativos para o fluxo de trabalho. O condicional no exclusivo representa a possibilidade de seguir por apenas um dos caminhos ou por ambos, e modelado por uma combinao das quatro conexes bsicas. A iterao a possibilidade de repetio de uma seqncia de tarefas e modelada por um OR-split com uma sada retornando a algum lugar da RdP.

Figura 3.9 - Representao de Seleo No Figura 3.10 [AALST, 1998] abaixo, que representa o atendimento de reclamaes, inicia-se o processo com uma reclamao, que aps ser registrada, fica disponvel para as tarefas contatar cliente e contatar departamento. Aps a execuo de ambas (independente da ordem em que foram executadas) feito o sincronismo atravs da tarefa coletar. Com a reclamao coletada em c5 apenas uma das tarefas avaliarem positivo ou negativo ser executada (deciso). Se avaliada como positiva, o pagamento realizado e a

40

reclamao arquivada. Se avaliada como negativa, ser enviada uma carta ao cliente e a reclamao arquivada.

Figura 3.10 - O processo de gerenciar reclamao Observe que em ambos os casos da avaliao (negativa ou positiva) aps realizao da respectiva tarefa associada deciso, so necessrios arquivar a reclamao. Por conta disso, a tarefa arquivar aparece apenas uma vez no workflow aps a juno (OR-Join) dos caminhos alternativos.

3.6 WORKFLOW-NET (WF-NETS)

WF-Nets so, essencialmente, RdP acrescidas de algumas particularidades voltadas modelagem e anlise de processos de negcio e workflows. De maneira semelhante s RdP clssicas, as WF-Nets possuem lugares, transies, arestas (com peso) e fichas. Workflow-net uma rede de Petri que representa um processo de workflow [AALST, HEE, 2001], com algumas propriedades especiais para a modelagem de processos de workflow. Antes de analisar estas propriedades, necessrio estabelecer alguns conceitos usados no estudo de workflows e seu mapeamento em RdP vistos anteriormente [AALST, 98]: Tarefa: parte do trabalho a ser realizado. Normalmente, uma tarefa atmica, no pode ser subdividida em tarefa menor. Em uma WF-Net, as tarefas so representadas por transies. Recurso: quem realiza a tarefa, podendo ser humano ou no (impressora, software, etc). Um recurso fica ocupado durante o tempo que estiver realizando uma tarefa. Classe de recursos: conjunto de recursos. Em geral, o sistema de workflow no determina o recurso que vai realizar a tarefa, mas a classe de recursos (por exemplo, a tarefa

41

imprimir vai ser realizada por uma impressora, no especificando qual delas se houver mais de uma disponvel). Gerenciador de recursos: controla a alocao de recursos para as tarefas. Em uma WF-Net, o gerenciador de recursos modelado por uma sub-rede ligada s tarefas, responsvel pela alocao dos recursos (representados por fichas). Procedimento: conjunto (parcialmente) ordenado de tarefas, classes de recursos, atividades de controle e sub-procedimentos. O procedimento uma RdP, composta de transies (tarefas ou atividades de controle) e lugares (condies) ligando estas transies. Atividades de controle: fazem parte de um procedimento e servem para especificar o roteamento do trabalho dentro do procedimento e a sincronizao entre as tarefas. Tambm so representadas como transies em WF-Nets e fazem parte das conexes bsicas. Case (job): processo que modela a execuo do trabalho em um procedimento. Em uma WF-Net, um caso representado pelo fluxo de uma ficha pela rede. A ficha que representa o caso chamado job token (h outros tipos de fichas, como os que representam os recursos). O estado de um caso dado pela marcao da rede em um determinado instante. possvel que um procedimento tenha mais de um caso simultaneamente (mais de um job token fluindo pela rede). Em resumo, uma WF-Net uma RdP representando um procedimento, onde as transies modelam tarefas ou atividades de controle e o fluxo das fichas por esta rede representa os casos executados. Alm disso, quando h a necessidade de gerenciamento de recursos, uma sub-rede deve ser anexada a ela. A Figura 3.11 ilustra uma WF-Net, onde as transies t1, t2 e t3 representam tarefas e c1 e c2 representam atividades de controle (AND-split e AND-join, respectivamente). Outro aspecto interessante do modelo de WF-Nets a decomposio de cada tarefa em uma rede com quatro lugares e cinco transies, que interagem com o recurso e o gerenciador de recursos (Figura 3.12) [AALST 98].

42

Figura 3.11 Exemplo de Workflow-net

Figura 3.12 Estrutura de uma tarefa No modelo da Figura 3.12, os cinco lugares que aparecem associados a cada uma das transies (request_resource, assigned_resource, execute_task, finish_task e release_resource) representam a iterao com o gerenciador de recursos e com o recurso (quem realiza a tarefa). O request_resource indica ao gerenciador que a tarefa deseja um determinado recurso. Aps a alocao deste recurso, o gerenciador coloca uma ficha em assigned_resource, para dar prosseguimento tarefa. Os lugares execute_task e finish_task marcam, respectivamente, o incio e o final da tarefa (iterao com o recurso). Finalmente, o release_resource indica ao gerenciador que a tarefa foi encerrada e o recurso est novamente liberado. Portanto, uma tarefa est ligada a duas sub-redes, uma representando o gerenciador de recursos (que tem request_resource e release_resource como lugares de entrada e assigned_resource como lugar de sada) e outra representando a lgica da tarefa executada pelo recurso (tem execute_task como lugar de entrada e finish_task como lugar de sada). O modelo de WF-Nets tambm permite distinguir quatro formas de execuo das tarefas (disparo de transies): automtica (transio disparada assim que habilitada), pelo usurio, por um evento externo (mensagem) e por tempo. A noo de WF-Nets e a decomposio de cada tarefa observada de acordo com o modelo da Figura 3.10, sendo exemplo de um processo em ambientes colaborativos, que serve como base para uma representao e coordenao de um modelo utilizando o formalismo das Redes de Petri. O mesmo formalismo, a ser utilizado para a realizao da modelagem dos processos de negcios.

43

3.7 ANLISE

Atravs da verificao das caractersticas estruturais tais como confiabilidade, limitao, alcanabilidade e bloqueio so possveis figurar o fluxo do processo, analisando quais os caminhos percorridos por cada evento. Alm das interessantes caractersticas de modelagem, tais como simplicidade da notao grfica, formalidade da notao matemtica e modelo de descrio hierrquico (encapsulamento de detalhes), as RdP tambm oferecem importantes ferramentas de anlise do sistema modelado. As anlises de verificao so realizadas para garantir que a rede esteja corretamente definida e corresponda com exatido ao sistema modelado. A verificao dos fluxos lgicos dos processos permitir a deteco de erros e diagnstico. Neste tipo de anlise verificado se a rede apresenta deadlocks, se atinge algum estado no permitido, se h transies mortas, etc. As anlises de verificao so baseadas em propriedades das RdP, dentre as quais se destacam: 3.7.1 Alcanabilidade (Reachability) Propriedade comportamental de rede de Petri utilizada para o estudo de propriedades dinmicas. Indica a possibilidade de atingirmos determinada marcao M a partir de uma marcao inicial. Ou seja, existe uma seqncia de transies, que disparada levam a marcao M . Dada uma marcao M determinar se M pertence ao conjunto de todas as marcaes obtidas a partir da marcao inicial. A soluo desse problema importante pois caso se conhea as marcaes em que o sistema fica em deadlock, possvel verificar se esses estados so alcanveis ou no. A ferramenta utilizada para anlise da alcanabilidade de uma rede o grafo de alcanabilidade. Ele especifica o possvel comportamento do processo modelado usando a seguinte construo: Consiste de nodos e arcos dirigidos Cada nodo representa um estado alcanvel (marcao) Cada arco uma possvel mudana de estado

44

3.7.2 Vivacidade (Liveness) H algum estado ou seqncia de estados que no ser mais alcaado, indicando um possvel bloqueio (deadlock). Com um possvel bloqueio, uma transio torna-se no acessvel, o que corresponde a uma tarefa no workflow que poder nunca ser executada. Utilizando a ferramenta Woflan, a informao fornecida pelo Woflan til mas no necessariamente completa devido a existncia de um bloqueio. Entretanto, sob a suposio da limitao, a informao fornecida pela ferramente completa e exata. 3.7.3 Reversibilidade A propriedade de reversibilidade faz com que seja possvel retornar ao estado inicial. 3.7.4 Limitao (Boundness) No mximo quantas fichas permanecero em um lugar. Uma RdP dita k-limitada se o nmero de fichas em cada lugar nunca exceder k. Para o caso de k = 1, a RdP chamada de segura (safe). Persistncia: o disparo de duas transies habilitadas independente, ou seja, o disparo de uma desabilita a outra. Duas transies com disparos dependentes indicam um conflito, pois apenas uma das duas ser disparada (OR lgico). Distncia sncrona: indica o nvel de dependncia mtua entre duas transies. A anlise de validao testa se a rede funciona como esperado. Os testes so feitos por meio de simulao interativa de situaes fictcias para verificar se a rede as trata corretamente. A informao detalhada na propriedade de limitao fornecido por Woflan consiste no jogo de lugares livres. Em resumo, RdP apresentam um forte suporte terico para a anlise e um grande nmero de tcnicas de simulao, o que, juntamente com as j comentadas caractersticas de modelagem, as tornam ferramentas adequadas para o planejamento de animaes interativas e sistemas e workflow [AALST 98].

45

3.7.5 Soundness No tratamento da extenso WF-net propriedades adicionais especficas so definidas. Dentre elas destaca-se a seguinte propriedade Soundness. Vrias propriedades estruturais podem ser analisadas em uma rede de Petri, verificando se est correta. Uma das caractersticas mnimas quando trabalhamos com workflow-net que ela seja Sound (slida). Essa propriedade garante que: Para cada marca colocada no lugar incio, uma (e apenas uma) marca aparece no lugar fim, ou seja, todo caso ser concludo com sucesso aps algum tempo; Quando a marca aparece no lugar fim, todos os outros lugares esto sem marca, ou seja, ao se concluir um processo, no existem marcas remanescentes; Para cada transio (tarefa) possvel mover do estado inicial at o estado no qual essa transio habilitada, ou seja, no passvel de tarefas mortas. Esta anlise possvel atravs do grafo de alcanabilidade da rede. Os pontos a serem verificados so: Verificar se o grafo possui apenas um estado final; Se o estado inicial possui apenas uma marca, o grafo deve apresentar apenas uma marca no estado final; Para cada tarefa, verificar se existe uma mudana de estado no grafo que corresponda ao disparo da tarefa. Uma observao interessante que o soundness corresponde a vivacidade e limitao. Em conseqncia, as tcnicas de anlise e as ferramentas podem ser aplicadas para verificar a exatido de um projeto de workflow. A experincia prtica mostra muitos erros que podem ser detectados verificando a propriedade do soundness [AALST, 2002].

3.8 CONSIDERAES FINAIS

Dentre os modelos utilizados para sistemas a eventos discretos, para tornar a modelagem e a simulao de forma dinmica, foi escolhida as RdP para a modelagem dos processos de negcios. Devido a sua combinao entre a fundamentao matemtica, representao grfica e possibilidade de simulaes e verificaes, foram as principais vantagens encontradas nas

46

RdP para a realizao da modelagem dos processos de negcio. As RdP acrescidas de algumas particularidades, so as workflow-nets que representa um processo de workflow. Com as propriedades das RdP, suas tcnicas de anlise, simulao e as ferramentas aplicadas, verificam a exatido de um projeto de workflow. De acordo com Aalst [2002], o processo de negcio dispende maior tempo em um tempo de espera, seja espera em um processo interno ou externo, sendo este o maior motivo para o processo ter um longo perodo para sua finalizao, com a simulao do modelo, ser possvel verificar o motivo deste tempo de espera e buscar uma situao favorvel, inclusive no estudo de caso que veremos a seguir, nota-se um longo tempo em espera. No captulo a seguir, ser verificado atravs de um estudo de caso que, no processo de vendas, em vrios momentos aguarda-se uma resposta interna ou externa para que o processo possa continuar. Com o formalismo das Redes de Petri, ser modelado o processo de vendas de uma empresa do ramo automotivo.

47

4 CAPTULO IV - METODOLOGIA PROPOSTA PARA REALIZAO DA MODELAGEM DOS PROCESSOS DE NEGCIO

4.1 INTRODUO

Modelar os processos de negcios inclui a transformao da lgica dos processos em uma respresentao formal. A tecnologia de informao contribuiu para mudanas dos processos de negcio dentro e entre as empresas. Mais e mais processos do trabalho esto sendo conduzidos sob a superviso dos sistemas de informao que so dirigidos por modelos de processo. A estrutura do modelo organizacional extremamente voltil em razo das constantes mudanas nas regras dos negcios. A evoluo dos sistemas torna-se inevitvel, uma vez que os processos do negcio modificam-se por causa de reformas organizacionais e mudanas no ambiente externo. Assim, os modelos de negcios influenciam dois fatores responsveis por mudanas: dados sobre o sistema do negcio e regras do sistema [PADUA, SILVA, PORTO, 2004]. Um processo de negcio consiste em um ou mais eventos. Poder gerar variveis possveis para cada evento, permite uma interao entre processos e pessoas. H uma quantidade significativa de metodologias para representao dos processos de negcios, ou mesmo para simplesmente elaborar fluxogramas2. O mtodo proposto a transformao de componentes de fluxograma em construes e modelos WF-net. Os componentes so os modelos de processo independentes que podem ser usados para projetar processos do WF-net. Esta aproximao acelera o processo e a validao do modelo. As RdP so uma ferramenta estabelecida para modelar e analisar processos. De um lado, as RdP podem ser usadas como uma linguagem do projeto para a especificao de WFnets complexos. De outro lado, a teoria da rede de Petri fornece tcnicas de anlise que podem ser usadas para verificar a exatido de procedimentos do WF-net [AALST 1998]. ______________________________
2

Entre as metodologias de fluxograma destaca-se a ISO 1028 (Processamento de Informao

smbolos para fluxograma), que padroniza uma srie de smbolos para uso em processo de negcios.

48

Os problemas do WF-net podem ser modelados e analisados usando o formalismo grfico baseados em RdP. Na modelagem e execuo de processos de negcio so relevantes as seguintes perspectivas: Fluxo de controle ou processo; Recurso; Dados; Tarefas; Operao.

4.2 ESTUDO DE CASO

O Mtodo do Estudo de Caso um mtodo das Cincias Sociais e, um dos vrios modos de realizar uma pesquisa slida. Outros modos incluem experincias vividas, histrias, e a anlise de informao de arquivo (como em estudos econmicos). Para conduzir as aes ao sucesso corporativo, as organizaes precisam dispor de diferentes estratgias, estando elas focadas em diversos nveis do trabalho. A vantagem competitiva que uma organizao poder eventualmente ter, dependem de estratgias que sirvam no apenas como resposta ao meio ambiente em que est inserida, mas tambm pelo resultado das aes que estas estratgias realizaro no meio ambiente, influenciando-as a seu favor [PORTER,1989]. Deve-se ressaltar tambm que a simples implantao de um sistema de gesto empresarial no a nica responsvel pela equalizao estratgica entre empresas concorrentes. O fator competitivo de uma organizao ir depender, em muitos casos, da maneira como o desenvolvimento do processo de transformao da anlise contextual em recursos de informao e conhecimento conduzido e que a possibilite se diferenciar dos seus concorrentes. Ela precisar desenvolver mecanismos de tratamento de dados e informaes integrados, considerando o ambiente em que est inserida e que a habilite a traar estratgias de ao, focadas em um sistema de gesto empresarial amparado por um processo de identificao e conduo das mudanas organizacionais. Modelar processos do negcio consiste nas seguintes fases: - Examinar e modelar a estrutura organizacional; - Examinar e modelar os processos existentes do negcio e;

49

- Criar uma base dos processos do negcio da companhia; verificando os processos do negcio; analisando os pontos fracos; modelando processos avanados do negcio [VIDOVIC, VUKSIC, 2003]. O estudo de caso realizado em uma indstria do ramo automotivo, e para este trabalho, foi escolhido o processo de vendas para ser realizada a modelagem formal atravs das WF-nets. Para que o objetivo principal deste trabalho seja alcanado, sero utilizadas as ferramentas WoPeD e Woflan para auxiliar o processo e a realizao de simulaes. A metodologia aplicada para este estudo ser uma pesquisa documental, essa tcnica consiste na identificao, coleta e anlise de toda a documentao, visando ampliar o conhecimento do processo em estudo, principalmente em relao aos seguintes aspectos: histrico dos problemas anteriores, alternativas adotadas para solucion-los e problemas legais envolvidos [DASCENO, 2001]. As documentaes dos processos, normalmente so encontradas atravs de cartas, memorandos, comunicados, procedimentos, agendas, planos, propostas, relatrios, cronogramas, jornais internos etc. Estes documentos ajudam a estabelecer com clareza os ttulos e os nomes das organizaes mencionadas e inferncias podem ser feitas a partir da anlise da qualidade dos registros e dos documentos, como por exemplo, definir para quem determinados memorandos eram enviados e assim por diante. Por isso, importante tentar extrair das situaes as razes pelas quais os documentos foram criados. Esta pesquisa documental foi realizada na empresa Indstria do Brasil Ltda.(nome fictcio), para haver uma compreenso dos mecanismos chaves de um negcio existente, atuando como base para simular a atual estrutura deste processo de negcio e suas operaes e, buscando demonstrar uma estrutura de um negcio com melhor desempenho. Praticamente todas as empresas se organizam em torno de quatro processos centrais fundamentais, dos quais depende, em ltima anlise, a sua capacidade de proporcionar significativo valor do cliente, fator de sobrevivncia e crescimento: 1. O processo de elaborao do produto, 2. O processo de gerao de pedidos, 3. O processo de execuo de pedidos, e 4. O processo de atendimento ao cliente. Todos os demais processos, tais como o financeiro, o de recursos humanos ou o jurdico, existem para servir de apoio e medir o sucesso desses quatro processos centrais.

50

O resultado/produto tem um receptor identificvel, que define sua finalidade, suas caractersticas e seu valor, seja esse receptor um cliente externo ou interno. Com relao ao fluxo do processo propriamente dito, numa primeira anlise podemse encontrar alguns desperdcios em processos de manufatura como: desperdcios de tempo com esperas por informaes, retrabalho de tarefas, mudanas no tratamento das informaes, desperdcios de processamento por parte das reas que processam os dados recebidos e realizam anlises de impactos (ainda que parciais e incompletas). Estas ltimas anlises posteriormente acabam no sendo utilizadas adequadamente, por falta de um processo e ferramentas apropriadas. Mais especificamente em relao a processos administrativos, como no caso estudado nesta dissertao, apontam-se vrios desperdcios que podem ser identificados pelo mapeamento destes processos: departamentos gargalo para anlise, mltiplas iteraes entre os participantes do processo, proliferao de pontos de confirmao de informao, mltiplas cpias e distribuies de documentos (ou neste caso, informaes eletrnicas), falta de rastreabilidade apurada da anlise feita em cada caso, e da racionalidade utilizada em cada deciso. Alm disso, tais processos esto sujeitos a eventuais tentativas de acelerao por vias no usuais ou oficiais, por exemplo, aproveitando-se da hierarquia para forar uma determinada deciso. possvel estruturar o processo de tomada de deciso para mudanas de uma forma objetiva e racional, seguindo os preceitos das teorias sobre tomada de deciso e identificando oportunidades para a racionalizao deste processo, tanto sob a perspectiva da qualidade de informao resultante de aspectos comportamentais, como sob a perspectiva do prprio fluxo do processo (rapidez, fluidez e utilizao correta dos recursos) [ROLDAN, MIYAKE, 2004].

4.3 MODELAGEM ATRAVS DE FLUXOGRAMA PESQUISA DOCUMENTAL

Para realizar um comparativo do estado atual e da proposta de modelagem formal, atravs de pesquisas documentais na empresa em estudo [YIN, 2001], visualiza-se que na empresa Indstria do Brasil, o seu procedimento de vendas representado atravs de um fluxograma (Figura 4.1). Fluxograma uma tcnica de representaes grficas que se utiliza de smbolos previamente convencionados, permitindo a descrio do fluxo, ou seqncia, de um processo, bem como sua anlise e redesenho [DASCENO, 2001]. um grfico que

51

representa com racionalidade, lgica, clareza e sntese, rotinas ou procedimentos que envolvam documentos, informaes recebidas, processadas e emitidas, seus respectivos responsveis e/ ou unidade organizacional. O fluxograma representa uma seqncia de trabalho qualquer, de forma detalhada ou sinttica, onde as operaes ou os responsveis e os departamentos envolvidos so visualizados nos processos. O termo fluxograma vem do ingls Flow-chart, sendo tambm conhecido como carta de fluxo do processo, grfico de seqncia, grfico de processamento dentre outros. Esta ferramenta permite explicitar o funcionamento de qualquer operao, por mais complexa que seja, de forma clara e lgica, facilitando a identificao de etapas problemticas, desnecessrias ou mesmo inexistentes [HANSEN, 1997]. Pode-se dizer que o fluxograma uma ferramenta eficaz por hoje atender as necessidades da empresa. Mas tambm, pode-se dizer que no uma ferramenta completa, que lhe demonstre um melhor desempenho do processo, pois o fluxograma no realiza a verificao lgica dos fluxos de processos, avaliao de tempo, prioridades, recursos e eficcia do processo. O fluxograma visa o melhor entendimento de determinadas rotinas administrativas, atravs da demonstrao grfica. J com o formalismo das RdP, alm de uma demonstrao grfica, possvel modelar e analisar de uma forma dinmica o fluxo do processo de vendas, analisando quais os caminhos percorridos por cada evento, avaliando tambm o tempo do processo, propriedades de bloqueios e recursos utilizados, tornando sua funcionalidade eficaz e eficiente para empresa. A proposta, portanto, a utilizao desta forma de conhecimento existente na empresa atravs de seu mapeamento e traduo em formalismo baseado em rede de Petri.

52

Figura 4.1: Fluxograma do processo de vendas

53

4.4 MODELAGEM ATRAVS DE REDES DE PETRI

A seguir, so sugeridos alguns passos bsicos para a construo da modelagem, segundo recomendaes metodolgicas efetuadas nos captulos anteriores: - Determinar e conhecer os processos de negcios. - Identificar todas as atividades de cada um dos processos de negcio. - Estabelecer o tempo de durao da execuo de cada uma das atividades. - Listar os recursos comuns entre os processos. - Identificar os relacionamentos entre atividades, recursos e processos. - Definir as informaes necessrias para a execuo de cada um dos processos. Em outros estudos [DONG, CHEN, 2004; PADUA, et al., 2004], foi analisada a modelagem dos processos de negcio atravs das RdP. Atravs das RdP, possvel figurar o fluxo do processo, analisando quais os caminhos percorridos por cada evento, avaliando tambm o tempo do processo, propriedades de bloqueios, mas ainda no possvel avaliar a eficincia do processo em estudo. O modelo do processo de vendas (Figura 4.2) foi realizado com a utilizao da ferramenta Woped. Visualmente, existe uma semelhana entre o processo de vendas realizado atravs do fluxograma e a estrutura do modelo em RdP. A diferena entre os dois modelos, est presente na possibilidade de insero de recursos e simulao de capacidade que o processo possui. A traduo do conhecimento em fluxograma para os modelos em RdP facilita o processo de compreenso do ambiente empresarial, permitindo uma representao da estrutura, das atividades, dos processos, das informaes, dos recursos, do pessoal, do comportamento, dos objetivos e das restries das empresas, colaborando no entendimento das complexas interaes atravs de simulaes entre a organizao e as pessoas.

54

Figura 4.2 - Processo de vendas modelado em Redes de Petri

55

4.5 CONSIDERAES FINAIS

Neste captulo selecionou-se o estudo de caso como metodologia para a modelagem dos processos de negcios. O processo em estudo foi o processo de vendas de uma empresa do ramo automobilstico. Atravs da pesquisa documental, apresentou-se a forma de conhecimento da empresa atravs de fluxograma, o qual pode ser mapeado e traduzido atravs do formalismo das Redes de Petri. No prximo captulo sero tratadas as perspectivas de aplicao do modelo, suas ferramentas, simulao e anlises.

56

5 CAPTULO V APLICAO DO MODELO NA ANLISE DOS PROCESSOS DE NEGCIO.

5.1 INTRODUO

Com a modelagem formal e suas diversas aplicaes, podem-se gerar alguns ganhos importantes para a organizao, como a uniformizao de entendimentos sobre a forma de trabalho e uma melhoria do fluxo de informaes, bem como a padronizao dos processos e uma melhoria da gesto organizacional o que poder oferecer uma reduo de tempo, recursos e custos dos processos. A empresa Indstria do Brasil em estudo uma indstria multinacional do ramo de autopeas, situada na Cidade Industrial de Curitiba, Paran. Dentre os vrios processos existentes na empresa, foi escolhido o processo de vendas como exemplo para a realizao da modelagem. A escolha deste processo foi devido ao envolvimento de recursos de diversas reas (inter-organizacional), representando um importante processo para empresa. Atravs deste processo que se encadeiam os demais processos existentes na organizao. A modelagem e anlise de diversos cenrios deste processo ira contribuir para o sistema de gesto e estudos futuros para uma modelagem completa dos processos da organizao, permitindo aos gestores planejar e formular estratgias para o melhor desempenho dos processos.

5.2 FERRAMENTAS

Para entender a aplicabilidade de ferramentas de Tecnologia da Informao (TI), necessria pensar no seu propsito, respondendo as seguintes perguntas: Onde uma ferramenta de TI seria mais til no gerenciamento de processo de negcio (BPM)? Uma ferramenta de modelagem seria a nica aplicvel? Somente o planejamento prescinde de uma ferramenta de apoio ao BPM? Ao analisar as ferramentas de TI sobre a viso do Ciclo de BPM, exposto no

57

capitulo 2, envolve-se quatro atividades bsicas: - Planejamento; - Modelagem e otimizao de processos; - Execuo de processos; - Controle e anlise de dados. Provavelmente no haver ferramenta de TI que no se aplique a alguma fase de processo de negcio. Qualquer uma delas pode encontrar em sua utilidade em pelo menos uma das fases do BPM, dependendo do processo de execuo, ou ao menos ser utilizado na infra-estrutura [BALDAM et al, 2007]. A TI tem facilitado intensamente a implantao de melhorias de processo de negcios. Padronizao de linguagem de modelagem de software (UML, por exemplo), uso de interfaces padronizadas para banco de dados e pesquisa (ODBC), padronizao de protocolos de comunicao (XML, SMTP) so alguns exemplos das muitas iniciativas na rea. A figura 5.1 mostra a classificao das ferramentas de TI, aplicadas no mbito do BPM, de acordo com seu uso em processo. A localizao do referido trabalho tambm indicada (ferramentas de modelagem, anlise e simulao).

Figura 5.1: Referncia de arquitetura para ferramentas de TI aplicveis ao BPM [BALDAM et al, 2007].

58

Atualmente as ferramentas workflow em geral no apresentam suporte para verificao e anlise. Erros cometidos na etapa de projeto no so detectados resultando em falhas de alto custo na etapa de execuo em sistema. A ferramenta WoPeD [FREYTAG, 2005] suporta, alm da modelagem e anlise de redes de Petri ordinrias, a modelagem e analise de redes WF-net atravs de sua sintaxe (transies split e join e os tipos de disparo por recurso, tempo, mensagem). Em associao com Woflan [AALST, 1999], permitem uma verificao semntica e deteco dos referidos erros. Propriedades estruturais e quantitativas ligadas s redes WF-net so utilizadas para verificao da coerncia do processo de negcio. Estas ferramentas enquadram-se na parte indicada na figura 5.1, em concordncia s etapas do ciclo de desenvolvimento proposto no capitulo 2. Para a modelagem neste estudo, o critrio para definio de quais ferramentas seriam utilizadas, foi avaliada a utilizao de ferramentas gratuitas, que suportem a modelagem de processos com um embasamento formal em RdP. Em igual importncia, temse o atendimento do critrio de reusabilidade dos modelos criados em ferramentas de execuo de workflow, atravs da padronizao de formatos como PNML, WF-net, dentre outros citados no capitulo 2. A modelagem formal atravs destas ferramentas gratuitas, podero ser transferidas para uma ferramenta comercial, como o INCOME, que poder ser utilizada pela organizao nas fases de execuo e monitoramento. Esta seria uma fase sugerida como tema de trabalhos futuros. O INCOME Simulator (Figura 5.2) uma ferramenta que ir principalmente realizar uma simulao dinmica, projetada para apoio estratgico e para a tomada de deciso. Diferentes variantes do processo podem ser verificados atravs de anlise e avaliados como, por exemplo, os recursos e custos. A abordagem baseia-se num mtodo cientificamente comprovado e testado. As anlises lhe permitem identificar potenciais melhorias de gesto e permitem anlises sistemtica de todo o processo ao rodar uma simulao ou em processo de execuo (diagnostico).

59

Figura 5.2 Ferramenta INCOME

5.3 SIMULAO E ANLISE DO MODELO

Atravs das ferramentas Woped e Woflan, ao gerar o modelo do processo de vendas, foi possvel realizar a simulao e obter resultados de anlises de acordo com as figuras 5.4, 5.5 e 5.6. O objetivo do uso das tcnicas de anlise orientar a etapa de projeto na construo de especificaes corretas do processo. A anlise de workflow classificada em duas reas: anlise estrutural e anlise de desempenho. A anlise estrutural em redes de Petri cobre a dimenso do processo, auxiliando na verificao e encontro de uma soluo tima para modelagem da estrutura lgica dos fluxos de processos. A anlise de desempenho visa uma avaliao quantitativa do processo de negcio, em seu comportamento esperado antes de sua implantao. O comportamento investigado, por exemplo, no tempo acumulado de espera, tempo de servio, tempo de atravessamento e custos [GIRALT, 2003]. Ressalta-se que analise de desempenho em processos organizacionais um processo complexo dado a grande variabilidade nos tempos de execuo, demandando, portanto estudos aprofundados. Com a avaliao e verificao in loco do procedimento de vendas da empresa

60

Indstria do Brasil e realizando um comparativo entre o modelo utilizado pela empresa (fluxograma) e o modelo apresentado de forma formal (figura 5.3), logo no incio do processo conseguimos visualizar atravs do modelo em RdP, a utilizao dos recursos com maior nfase para atendimento de atividades internas, do que a busca ou manuteno do cliente.

Figura 5.3 Comparativo de Modelos em Fluxograma e Redes de Petri Com a simulao, no incio do processo, verifica-se que a empresa, em seu processo de vendas, dispende seus maiores esforos para realizar trabalhos internos, e no realizando atividades externas, como, visitas aos clientes, prospeco de novos negcios, estudos de mercado, atividades que buscam a lucratividade da empresa. Com a modelagem, possvel demonstrar formalmente aos gestores, a realidade do processo e que realizem um planejamento estratgico para que a dedicao da equipe de vendas tenha uma dedicao e esforos maiores em aes com o cliente externo. De acordo com a Figura 5.4 e Figura 5.5, foi possvel verificar que o modelo formal apresentou estrutura lgica correta, que infere as propriedades como vivacidade e ausncia de bloqueios (no existem fluxos lgicos inteis ou bloqueio de tarefas por ausncia de recursos), limitao (safe - no existem aumento nos processos) e soundness (inerente conduo do processo de negcio).

61

Figura 5.4 Resultado da Anlise do Modelo de Processo de Vendas atravs da ferramenta Woped

Figura 5.5 Resultado da Anlise do Modelo de Processo de Vendas atravs da ferramenta Woflan

62

O desempenho do processo (Figura 5.6) pode ser analisado atravs da simulao de seu fluxo das atividades, com a utilizao de recursos e definies de tempo. Para tal, seguese um cronograma pr-estabelecido, resultando no modelo onde possvel visualizar em qual atividade est ocorrendo o atraso ou ociosidade de tempo e recurso, auxiliando no processo de escalonamento de recursos. Este estudo pode ser mais bem suportado atravs da ferramenta Woped atravs do recurso capacity planning. Nele existe a preocupao da especificao funcional e organizacional dos recursos podendo-se inferir de forma holstica sobre o desempenho da organizao no encaminhamento do processo de vendas.

Figura 5.6 - Resultado da Anlise do Modelo de Processo de Vendas Woped Capacity Planning

63

5.4 CONSIDERAES FINAIS

Neste captulo foi verificado atravs das ferramentas Woflan e Woped que o modelo formal workflow-net apresentado, resultado do mapeamento do processo de vendas, apresentou consistncia lgica e estrutural em seus processos. A simulao dos modelos proporcionou tambm um melhor entendimento dos fluxos de processos, tempos de execuo e utilizao de recursos. Muitas decises estratgicas so tomadas pelas empresas ao rever os seus processos de negcio. A utilizao do formalismo apresentado propicia apoio neste sentido atravs do desenvolvimento de um modelo referencial e aplicao de tcnicas de simulao. Tais modelos podero ser utilizados para monitoramento dos processos em execuo para fins de auditoria ou diagnstico. Esta uma perspectiva para trabalhos futuros. Alm disto, sugere-se a extenso da metodologia de modelagem apresentada aos demais processos da organizao, que suportados ciclo de desenvolvimento proposto, proporcionara uma viso holstica da organizao.

64

6 CAPTULO VII CONCLUSES Com um referencial terico sobre a gesto organizacional, verificou-se a importncia que os processos de negcio significam para a organizao e a necessidade de uma ferramenta que abranja todos os recursos, de tempo, humano, atividade. Com o decorrer das dcadas, observa-se a importncia de identificar os processos de negcio, e na dcada de 90 iniciaram-se estudos com foco na importncia destes processos para definir a organizao das pessoas e dos demais recursos da empresa. Neste trabalho visualizamos que, o gestor, para tomar suas decises com maior preciso, precisa conhecer como funcionam os seus processos de negcios para garantir que suas aes esto sendo realizadas de forma correta e que garantam um rigor de anlise do processo e transpondo aos resultados almejados pela organizao. Muitas empresas querem organizar-se por processo, mas no possui uma noo clara dos passos a seguir. Cada vez mais as empresas buscam novas tecnologias para melhorar o seu negcio. Para atingir esta importncia verificada, fazer com que a empresa organize-se por processo e que por estes meios empresa produza e entregue seus produtos e servios aos clientes, identificou-se para o formalismo das Redes de Petri para que a organizao tenha o conhecimento de seus processos. Identificaram-se as Redes de Petri, devido a sua combinao entre a fundamentao matemtica, representao grfica e possibilidade de simulaes e verificaes, foram estas as principais vantagens encontradas, que contribuiu para a realizao da modelagem formal dos processos de negcio. As RdP acrescidas de algumas particularidades, com as suas propriedades e tcnicas da anlise e as ferramentas aplicadas, verificaram a exatido de um projeto de workflow. Com o formalismo disponibiliza-se uma anlise do processo e no apenas do fluxo do processo e acredita-se que h um grande campo de aplicao a ser explorado. Atravs do modelo formal, puderam-se investigar algumas propriedades e verificaes, como por exemplo, que o processo de negcio dispende maior tempo em um tempo de espera, seja espera em um processo interno ou externo, sendo este o maior motivo para o processo ter um longo perodo para sua finalizao. A modelagem formal do processo emerge como uma nova maneira de enxergar as

65

empresas. Naturalmente nem todos os problemas da organizao podem ser resolvidos a partir desta modelagem. Trata-se de uma forma de organizao capaz de ajudar no aumento da eficincia dos processos de negcio e na eficcia de seus resultados. Uma das vantagens em realizar a modelagem formal, est na implementao e anlise dos processos existentes em uma organizao, o que ir contribuir para a segurana de que os processos sero realizados dentro das expectativas esperadas. O uso de mtodos formais oriundos das redes de Petri garantiu um rigor matemtico nas representaes dos processos. As WF-net forneceram, alm deste rigor, uma representao grfica simples facilitando tanto a criao, quanto a interpretao do modelo do processo de vendas. Atravs do procedimento de vendas, apresentou-se que a empresa demonstra seu conhecimento atravs de um fluxograma, o qual pde ser mapeado e traduzido atravs do formalismo das Redes de Petri. Com a utilizao das ferramentas no-comerciais Woflan e Woped , foi verificado que o modelo formal apresentado, ocorreu com sucesso. Com a simulao do modelo workflow-net, verificou-se propriedades estruturais e resultados qualitativos e quantitativos inerentes ao processo de negcio. Com este estudo foi possvel identificar um sistema de gesto de processos de negcio dispondo uma viso holstica para a organizao atravs da modelagem formal de seus processos. Com o modelo, foi possvel identificar qual recurso est sendo utilizado, identificando assim a necessidade de melhorar o processo. Verifica-se tambm se o mesmo est dentro do programado, ou existe a necessidade de um aumento de recurso para que o processo seja realizado com uma maior eficincia, buscando reduzir os tempos de espera. O trabalho de anlises com o uso de workflow, est presente em vrios softwares comerciais, mas ainda no atende todas as necessidades para a visualizao do processo como um todo, ou seja, a viso holstica da empresa. Atravs de modelos em redes de Petri desenvolvidos, permite-se a sua migrao para ferramenta de execuo de workflow mantendo-se o formato e usabilidade dos modelos. Esta a proposta para trabalhos futuros, situando-se nas fases de implementao com o suporte ao monitoramento e diagnstico dos processos reais existentes, para fins de processos de auditoria e avaliao. Tal ferramenta devera suportar o formalismo e formatos propostos, sendo a mesma o INCOME, obtida em acordo de cooperao com a empresa austraca Get-Process.

66

O fechamento deste ciclo poder colaborar de maneira efetiva para tomadas de deciso dos gestores. Sendo este um grande desafio ao gestor, ter efetivamente na organizao, uma ferramenta que ir colaborar com o seu melhor desempenho, mas para realizar esta modelagem, geram-se problemas de aceitao cultural e organizacional, a realizao de uma modelagem formal de todos os processos de uma organizao, no significa estar realizando uma re-engenharia nos processos, mas necessria uma aceitao por parte de todos os envolvidos em cada processo, pois para o desenvolvimento desta modelagem, essencial a colaborao de cada pessoa que realiza uma atividade no processo. Para trabalhos futuros, propem realizar a modelagem formal de todos os processos de uma organizao, os quais podero ser analisados e simulados, e que ir contribuir aos gestores para obter uma viso holstica da organizao, verificando se existem melhorias que podem ser realizadas em seus processos o que ir colaborar para o sucesso da empresa. Abrise a possibilidade da identificao e anlise de diferentes cenrios, onde a organizao ir trabalhar com maior profundidade para uma melhoria contnua. Muitas empresas ainda no se preocupam com a organizao dos seus processos, no visualizando assim, a importncia de um conhecimento dos processos da organizao, ter a percepo das dificuldades que um processo possui ou melhorias que possam ocorrer e que no so visualizadas pela falta de conhecimento do processo. A forma pela qual a empresa organizada, que poder trazer o sucesso ou o seu insucesso. Com a modelagem formal dos processos, ir contribuir de maneira mais efetiva para que os gestores realizem um planejamento e formulem estratgias, tornando a organizao cada vez mais competitiva em sua rea de atuao.

7 REFERNCIAS BIBLIOGRFICAS AALST, W. M. P. van der. Workflow ManagementModels, Methods and Systems, Beijing: Tsinghua Press, 2004. AALST, W. M. P. van der. Making Work Flow: On the Application of Petri nets to Business Process Management. Department of Technology Management, Eindhoven University of Technology P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands, 2002. AALST, W. V. P. van der; HEE, V. K. Workflow management: models, methods and systems. Cambridge: MIT Press, 2002. AALST, W. M. P. van der, L. Aldred, M. Dumas, and A.H.M. ter Hofstede. Patterns of Process Modeling, p. 1-25, 2000. AALST, W. M. P. van der, L. Three good reasons for using a Petri-net-based workflow management. Department of Mathematics and Computer Science, Eindhoven University of Technology, Netherlands, 2000. AALST, W. M. P. van der. Woflan: a Petri-net-based workflow analyzer. Publisher Gordon and Breach Science Publishers, Inc. Newark, NJ, USA. Volume 35, 1999. Issue 3, ISSN: 0232-9298, pp: 345 357. AALST, W. M. P. van der. The Aplication of petri nets to workflow management. The Journal of Circuits, Systems and Computers, v. 8, n. 1, p. 1-53, 1998. BALDAM, R., VALLE, R., PEREIRA, H., HILST, S., ABREU, M., SOBRAL, V.. Gerenciamento de Processos de Negcios - BPM - Business Process Management. Editora Erica, 2007. BEDNY, Gregory Z., KARWOWSKI, Waldemar. Activity theory as a basis for the study of work. Ergonomics, 5 February, Vol. 47, n 2, 134-153, 2004. BEDNY, Gregory Z., SEGLIN, Mark H., MEISTER, David. Activity theory: history, research and application. Theor. Issues in Ergon. SCI, Vol. 1, n 2, 168-206, 2000. CARDOSO, J., VALETTE, R. Redes de Petri. Editora da UFSC, Santa Catarina, 1998. CHANDRA, Vigyan, HUANG, Zhongdong, KUMAR, Ratnesh. 2003, vol. 33, n 284-289. Automated Control Synthesis for an Assembly Line Using Discrete Event System Control Theory, IEEE,

68

CHWIF, Leonardo; MEDINA, Afonso Celso. Modelagem e Simulao de Eventos Discretos: Teoria e prtica. So Paulo: Editora dos Autores, 2006. CURY, Jos E. R. Teoria de Controle Supervisrio de Sistemas a Eventos Discretos. V Simpsio Brasileiro de Automao Inteligente. Canela, R.S., 2001. DAVENPORT, Thomas H. A catholic approach to process management. A BPT Column, Process Innovation, February 2004. DAVENPORT, T. H. Reengenharia de processos. 2 edio, Editora Campus, Rio de Janeiro: Campus, 1994. DASCENO, Luiz Carlos Menezes. Organizao, Sistemas e Mtodos Anlise, Redesenho e Informatizao de Processos Administrativos. So Paulo: Editora Atlas, 2001. DESEL, Jorg; ERWIN, Thomas. Modeling, Simulation and Analysis of Business Processes, 2000. LNCS 1806, pp. 129-141. DONG, Ming, CHEN, Frank F. Petri net-based workflow modeling and analysis of the integrated manufacturing business process. International Journal Manufacturing Technology, 2004. ERIKSSON, H.; PENKER, M. Business modeling with UML: business patterns a work. John Wiley & Sons, 2000. ESHUIS, R., DEHNERT, J. Reactive Petri Nets for Workflow Modelling. Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), Eindhoven, The Netherlands, June 23-27. Pages: 296-315. ESHUIS, R., WIERINGA, R. Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - a Quest for Reactive Petri Nets. Petri Net Technology for Communication-Based Systems: Advances in Petri Nets. 2003, Pages: 321-351. FISCHER, L. The Workflow Handbook. Association with the workflow Management Coalition (WfMC). Future Strategies Inc. Lighthouse Point, FL, USA, 2002. FREITAS, P. J. Introduo modelagem e simulao de sistemas. Santa Catarina. 1 Edio. Visual Books, 2001. FREYTAG, Thomas. WopeD Workflow Petri Net Designer. University of Cooperative Education, 2005, D-76052 Karlsruhe. GARVIN, D.A... The Process of Organization and Management. Sloan Management Review, Summer 1998, p. 33-50.

69

GIRAULT, C.; VALK, Rudiger, Petri Nets for Systems Engineering, A guide to modeling, verification, and applications, Springer, 2003. GOLANI, M., GAL, A. Flexible Business Process Management Using Forward Stepping and Alternative Paths. Proceedings of the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 5-8. Pages: 48 - 63. GOLAVES, Jos. As empresas so grandes colees de processos. ERA, So Paulo v. 40 n. 1 Jan./Mar. 2000. HAQUE, B.; PAWAR, K. S.; BARSON, R.J. The application of business process modelling organizational analysis of current engineering environment. Technovation, 2003, p.147-162. HANSEN, Gregory A. Automating Business Process Reengineering. 2nd ed. New Jersey: Prentice-Hall International series in industrial and system engineering, 1997. HARRINGTON, H. James. Business Process Improvement. New York: McGraw Hill, 1993. HECKEL, R. Open Petri Nets as Semantic Model for Workflow Integration. Petri Net Technology for Communication-Based Systems: Advances in Petri Nets. 2003, Pages: 281-294. HOLD, A. P. Management-oriented models of business process. In: AALST, V. D. W.; DESEL, J.; OBERWEIS, A. Business process management: models, techniques, and empirical studies. Berlin: Springer, 2000. JANSSENS, G. K.; VERELST, J.; WEYN, B. Techniques for modeling workflow their support of reuse. In: AALST, V. D. W.; DESEL, J.; OBERWEIS, A. Business process management: models, techniques, and empirical studies. Berlin: Springer, 2000. KINTSCHNER Fernando E, BRESCIANI Fo Ettore. Reengenharia de Processos: transformando as necessidades do cliente em parmetros de um sistema. Revista de Administrao UNISAL. Ano 01. Nmero 01.Americana-Julho/Dezembro 2004. LI, Jianqiang, FAN, Yushun. Research of Petri net based Workflow Model Reduction Methods, Information and Control, Vol. 30, No. 6, 2001. LINDSTROM, B. Facilitating the Practical Use of Coloured Petri Nets. PhD Thesis. University of Aarhus. Aarhus, Denmark, 2002. LINSAY, Ann; DOWNS, Denise; LUNN, Ken. Business Processes attempts to find a definition. Elsevier Information and Software Technology, 2003, p.1015-1019.

70

LORINO, Philippe. El control de gestin estartgico. La gestin por actividades. Santaf de Bogot, Colmbia: Alfaomega Grupo Editor, 2000. LOURES, R Eduardo. Surveillance Et Diagnostic Des Phases Transitoires Des Systemes Hybrids Bases Sur LAbstraction Des Dynamiques Continues Par Reseau De Petri Temporel Flou. Laboratoire D' Analyse Et D' Architecture Des Systemes, LAAS, Frana, 2006. MINTZBERG, H. e QUINN, J. B. O processo da Estratgica. Porto Alegre. Bookman. 2001. NEIGER, D., CHURILOV, L. Goal-Oriented Business Process Modelling with EPCs and Value-Focused Thinking. Proceedings of the 2nd International Conference on Business Process Management (BPM 2004), Potsdam, Germany, June 17-18. Pages: 98-115. NOGUEIRA Neto Antonio. A relevncia das informaes gerenciais no planejamento estratgico: paradigma nas tomadas de decises empresariais. Dissertao apresentada ao Programa de Ps-Graduao em Engenharia de Produo da Universidade Federal de Santa Catarina, Florianpolis, 2003. PADUA, S. , SILVA, A., PORTO, A. et al. O potencial das RdP em modelagem e anlise de processos de negcio. Gest. Prod., jan./abr. 2004, vol.11, no.1, p.109-119. ISSN 0104-530X. PANKRATIUS, V. A Formal Foundation for Workflow Composition, Workflow View Definition and Workflow Normalization Based on Petri Nets. Proceeddings of the 2nd Asia-Pacific Conference on Conceptual Modeling. Newcastle, NSW, 2005, Australia. Pages: 79-88. PORTER, Michael E. Vantagem competitiva. Rio de Janeiro: Campus, 1989. QUEIROZ, Max H. De; CURY, Jos R. E. Controle Supervisrio Modular de Sistemas de Manufatura. Revista Controle e Automao, Vol.13, 2002. REIJERS, Hajo A.. Design and Control of Workflow Processes, Business Process Management for the Service Industry, Lectures Notes in Computer Science, 2617, Springer, 2003. REZENDE, D. A., ABREU, A. F. de. Tecnologia da informao: aplicada a sistemas de informaes empresariais. So Paulo. Atlas, 2003. ROLDAN, F., MIYAKE, D.. Mudanas de Forecast na Indstria Automobilstica: Iniciativas para a Estruturao dos Processos de Tomada de Deciso e Processamento da Informao. Escola Politcnica da Universidade de So Paulo,v.11, n.3, p.413-427, set.-dez.

71

2004. SALIMIFARD, S.; WRIGHT, M. Petri net based modelling of workflow systems; overview. European Journal of Operational Research, v.134, p. 664-676, 2001. SMITH, H., FINGAR, P. Business process management the third wave: business process modeling language (bpml) and its pi-calculus foundations. Information and Software Technology 45, 2003, p. 1065-1069. SALIMIFARD, K., WRIGHT, M. (2001). Petri Net Based Modelling of Workflow Systems: An Overview. European Journal of Operational Research, 134(3): 664-676, 2001. SPECHT, T., DRAWEHN, J., THRANERT, M., KULNE, S. Modeling Cooperative Business Processes and Transformation to a Service Oriented Architecture. Proceedings of the 7th IEEE International Conference on E-Commerce Technology (CEC 2005). Munich, Germany. July 19 - 22. Pages: 249-256. VIDOVIC, D.I.; VULKSIC, V.B. Dynamic business process modeling using ARIS. Information Technology Interfaces, 2003. ITI 2003. Proceedings of the 25th International Conference on16-19 June 2003 Page(s):607 612 VERBEEK, H. M. W.; BASTEN, T.; AALST, W. M. P. Diagnosing workflow using woflan. Eindhoven: Eindhoven University of Technology, 2000. BETA Working Paper Series, WP 48. YIN, Rober K. Estudo de caso planejamento e mtodos. 2 Edio. So Paulo: Bookman, 2001. ZHANG, L. Research on Workflow Patterns based on Petri Nets. Proceedings of the IEEE International Conference on Robotics, Automation and Mechatronics (RAM 2006), Bangkok, Thailand, June 7-9. Pages: 1-6. IEEE Computer Society. ZHOU Jiantao, Shi Meilin, Ye Xinming. A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique, Journal of Software, Vol. 16, No. 7, 2005. ZISMAN, M. D. Representation, specification and automation of office procedures. 1977. Tese (Doutorado) University of Pensylvania Wharton School of Business, Pensylvania. ZHU, H., LI, P., ZHANG, G. HTSN: A Complex Workflow Model Based on Coloured Petri Net. Journal of Computer Science & Technology, 4(1), 2004.