Transformation of business Process Models into Petri Nets for building process simulation

eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the European Conference on Product and Process Modelling 2010

Volumn , Issue , 2010, Pages 151-156

  Scherer, R J ^a   Kog, F ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINEERING RESEARCH; PETRI NETS; PROCESS ENGINEERING;

BEHAVIOR ANALYSIS; BEHAVIORAL PROPERTIES; BUILDING PROCESS; BUILDING PROCESS MODELS; BUSINESS PROCESS MODEL; CONCEPTUAL LEVELS; CONSTRUCTION PROCESS; PERFORMANCE ANALYSIS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 84861077052     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1201/b10527-27     Document Type: Conference Paper

References (16)

1. Dijkman, R.M., Dumas, M. & Ouyang, C. 2007. Formal semantics and Analysis of BPMN Process Models using Petri Nets, Technische Universiteit Eindhoven.
2. Eichenauer, B. 2007. A Procedure for a Unified Approach to Analysis and Development Projects. IBE Simulation Engineering GMBH
3. Keller, G., Nuttgens, M. & Scheer, A.-W. 1992. Semantic Process Modelling based on EPC (in German)", Publication of the Institut für Wirtschaftsinformatik, Paper 89, Saarbrucken.
4. Ko, R.K.L., Lee, S.S.G. & Lee, E.W. 2009. Business Process Management (BPM) Standards: A survey. Business Process Management Journal Vol:15 No: 5.
5. Kumanan, S. & Raja, K. 2008. Modelling and Simulation of Projects with Petri Nets, American Journal of Applied Sciences. 1742-1749.
6. Kumar, V.K.A. & Ganesh, L.S. 1998. Use of petri nets for resource allocation in projects, IEEE Transaction of Eng. Management., 45(1): 49-56. (Pubitemid 128743252)
7. Langner, P., Schneider, Ch. & Wehler, J. 1997. Process Modelling using EPC and PN (in German). Wirtschaftsinformatik, 39(5): 479-489.
8. Loos, P. & Allweyer, T. 1998. Process Orientation and Object Orientation - An Approach for Integrating UML and Event-Driven Process Chains (EPC), Publication of the Institut für Wirtschaftsinformatik University of Saarland, Paper 144, Saarbrucken, Germany
9. Murata, T. 1989. Petri nets: Properties, Analysis and Applications, Proceedings of the IEEE 77(4): 541-580.
10. Oanea, O. 2007. Verification of Soundness and Other Properties of Business Processes, University Press Facilities ISBN-10-0982368100 ISBN-13-978-0982368107 Technische Universiteit Eindhoven.
11. Raedts, I., Petkovic, M., Usenko, Y.S., van der Werf, J.M., Groote, J.F. & Somers, L. 2008. Transformation of BPMN models for Bahaviour Analysis, Technische Universiteit Eindhoven. Petri, C.A. 1962. Communication with Automations (in German), Schriften des IIM Nr. 2, Institut fur Instrumentelle Mathematik, Bonn.
12. Silver, B. 2009. BPMN Method and Style: A levelsbased methodology for BPM process modelling and improvement using BPMN 2.0, Cody-Cassidy Press ISBN 978-90-386 11662.
13. Van der Aalst, W.M.P. 1999. Formalization and Verification of Event-driven Process Chain, Information and Software Technology 41: s 636-650.
14. Van der Aalst, W.M.P., 2003. Woflan: A petri-net based Workflow Analyzer.
15. Wagner, U., Ismail, A., Kog, F. & Scherer, R.J. 2010. Process-centred Multi-model Framework for Management, Simulation and Decision Making Construction Projects.. In: Proc. ECPPM 2010, Cork, Ireland.
16. Zurawski, R. & Zhou, M. 1994. Petri Nets and Industrial Applications: A Tutorial, IEEE Transactions on Industrial Electronics 41(6): 567-583.