A formal modeling technique, based on colored timed Petri net and UML static structure modeling languages is used to teach students to model their business process problem as a discrete event system, before they build a working simulation model in a simulation tool (in our case Arena). Combining Petri net and UML static structure diagrams, one can build an abstract, well defined and complete model. This model enables the simulation analyst to make an unambiguous, complete and yet easily readable model of the target operational process. The two most important classes of decisions that are reflected in the conceptual model are the choice of the real world details to be taken in or left out the model and the precise specification of the output parameters of the simulation. This paper describes the modeling technique and discusses its value in teaching and in the formulation of decision problems regarding operational processes.
|Name||IFIP Conference Proceedings|
|Conference||conference; APMS 2007, Linkoping, Sweden; 2007-09-17; 2007-09-19|
|Period||17/09/07 → 19/09/07|
|Other||APMS 2007, Linkoping, Sweden|