In order to improve the knowledge acquirement and management skills of corporations, this work presents the development of a modeling methodology based on the formalisms issue from discrete events systems. The description of the company's knowledge through formal models based on Petri nets gives support to the modeling, analysis and diagnosis of business processes management.Many corporations do not possess knowledge or appropriate control of its organizational processes and this is one of the main difficulties for understanding the complexity involved. The first step of a modeling process consists of translating the abstract knowledge into explicit information according to the business process specifications. It is important to notice that most errors in the development of projects occur in this step.Recently, much advance has been made in terms of notations, techniques and tools for knowledge representation, motivating deeper studies on modeling of the business processes of companies. More and more, organizations are aware of the importance of their own business knowledge and the need to maintain this knowledge intact for future use.Motivated by this context, this work proposes a modeling methodology based on Petri nets that will allow, besides the knowledge formalization, the analysis and diagnosis of business processes. The methodology consists, therefore, in a development cycle based on the stages of modeling, quantitative and qualitative analyses and validation.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. Net's properties analyses, based in the formalisms and extensions issues from the literature, allows us to obtain countless structural and quantitative information of the processes. All these characteristics constitute a factor of great importance on the applying decision of this formalism.Thus, as the identification and analysis of different scenarios become possible, the organization will work deeper for continuous improvement. Such improvement based, for instance, in the study of a better resource allocation or the identification of blocking, logical errors or low performance in the processes’ flows. This work focus on the sales quotation process mapping and modeling of an automotive industry into the formalism of Petri nets, contributing for managers to better carry out planning as well as to easily formulate new strategies.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    CONTRIBUTION FOR MODELING OF THE BUSINESS PROCESSES THROUGH THE FORMALISM OF PETRI NETS


    Additional title:

    Sae Technical Papers



    Conference:

    SAE Brasil 2007 Congress and Exhibit ; 2007



    Publication date :

    2007-11-28




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Hybrid Petri nets as a new formalism for modelling railway systems

    Decknatel, G. / Schnieder, E. | Tema Archive | 1998


    Hybrid Petri nets as a new formalism for modelling railway systems

    Decknagel, G. / Schneider, E. / Wessex Institute of Technology | British Library Conference Proceedings | 1998


    PETRI NETS MODELING FOR SDN TOPOLOGIES

    Ameen, Ali / Guţuleac, Emilian | BASE | 2021

    Free access

    Modeling Traffic Signal Control Using Petri Nets

    List, G.F. | Online Contents | 2004


    Modeling humanoid swarm robots with petri nets

    Maharjan, Bikee | BASE | 2015

    Free access