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.
CONTRIBUTION FOR MODELING OF THE BUSINESS PROCESSES THROUGH THE FORMALISM OF PETRI NETS
Sae Technical Papers
SAE Brasil 2007 Congress and Exhibit ; 2007
2007-11-28
Conference paper
English
Hybrid Petri nets as a new formalism for modelling railway systems
Tema Archive | 1998
|Hybrid Petri nets as a new formalism for modelling railway systems
British Library Conference Proceedings | 1998
|Modeling Traffic Signal Control Using Petri Nets
Online Contents | 2004
|