In: Weber, Ehrig, Reisig (Eds.): Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems, pages 55-64. DFG Research Group "Petri Net Technology", September 2001.
Abstract: The reorganization of companies still comprises auspicious optimization potential in order to stay competitive. Reorganization is also a necessary prerequisite for the adaption of classical enterprise models to emerging business models as e.g. virtual enterprises. Base for the reorganization of companies is the modeling of the concerned business processes. Although investigated since the beginning of the nineties there is still a gap between the language and the expertise of the application developer and the requirements posed through the modeling of business processes. In this paper we propose an iterative procedure model for the business process modeling which starts on an informal and more abstract level and leads the modeler to a formal description containing details of the implementation. We start the modeling using the, in practice widely accepted but informal, event driven process chains. Throughout the procedure we finally end up with a formal description based on Petri nets.