This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
CONTRIBUTION FOR MODELING OF THE BUSINESS PROCESSES THROUGH THE FORMALISM OF PETRI NETS
Technical Paper
2007-01-2702
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
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.
Authors
Citation
Okayama, B., Loures, E., Santos, E., and Busetti, M., "CONTRIBUTION FOR MODELING OF THE BUSINESS PROCESSES THROUGH THE FORMALISM OF PETRI NETS," SAE Technical Paper 2007-01-2702, 2007, https://doi.org/10.4271/2007-01-2702.Also In
References
- Aalst, Wil van der Oberweis, Andréas 2000 Business Process Management, Models, Techniques and Empirical Studies Springer
- Reijers, Hajo A. 2003 Design and Control of Workflow Processes Business Process Management for the Service Industry Springer
- Vernadat, François B. 1996 Enterprise Modeling and Integration: Principles and Applications Springer
- Aalst, W. M. P. van der Aldred L. Dumas M. ter Hofstede A.H.M. 2000 Patterns of Process Modeling 1 25
- Hammer, Michael Champy, James 1994 Reengenharia: revolucionando a empresa em função dos clientes, da concorrência e das grandes mudanças da gerência 27 Rio de Janeiro Campus
- Love, P.E.D. Gunasekaran, A. LI, H 1998 Putting an engine into re-engineering: toward a process-oriented organization International Journal of Operations & Production Management 18 9/10 937 949
- Aalst, W. M. P. van der. 2002 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
- Girault, C. Valk, Rudiger 2003 Petri Nets for Systems Engineering, A guide to modeling, verification, and applications Springer
- Jiantao Zhou Meilin Shi Xinming Ye 2005 A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique Journal of Software 16 7
- Desel, Jorg Erwin, Thomas 2000 Modeling, Simulation and Analysis of Business Processes LNCS 129 141
- Aalst, W. M. P. van der 2000 Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques LNCS 161 183
- Aalst, W. M. P. van der 1998 The Aplication of petri nets to workflow management The Journal of Circuits, Systems and Computers 8 1 1 53
- Aalst, W. M. P. van der 2004 Workflow Management-Models, Methods and Systems Beijing Tsinghua Press
- Jianqiang Li Yushun Fan 2001 Research of Petri net based Workflow Model Reduction Methods Information and Control 30 6
- Freytag, Thomas 2005 WopeD - Workflow Petri Net Designer University of Cooperative Education D-76052 Karlsruhe
- Aalst, W. M. P. van der 1999 Woflan: a Petri-net-based workflow analyzer Publisher Gordon and Breach Science Publishers, Inc. Newark, NJ, USA 35 3 0232-9298 345 357
- SMIS group, Eindhoven University of Technology Woflan http://www.win.tue.nl/woflan/