The modeling and simulation of the dynamic behavior of organizational systems is essential for understanding their current functionality and for supporting business process analysis and reengineering. The behavior of organizational systems is viewed here in terns of the behavior of their business processes. Multilevel Modified Petri Nets are used as the underlying formalism for modeling and simulating organizational systems behavior at various abstraction levels. Each level of abstraction corresponds to one or more levels of the involved part of the organizational hierarchy. The constructed models represent existing or redesigned business processes. Simulation and graphical animation are used for discovering problems in existing business processes as well as in the proposed solutions. The whole approach is supported by a development environment called ERMIS.
Davenport, T. H.
(1993). Process innovation reengineering work through information technology. Boston: Harvard Business School Press.
2.
de Vreede, G. J.
, Bots, P.W.G., & Verbraeck, A. (1993). Simulation as an approach to improve coordination within service organisations. In A. Verbraeck & E. J. Kerckoffs (Eds.), Proceedings of the 1993 European Simulation Symposium (ESS93) (pp. 41-46). San Diego, CA: Society for Computer Simulation.
3.
Dinkhoff, G.
, Cruhn, V., Saalmann, A., & Zielonka, M. (1994). Business process modeling in the workflow management environment leu. In P. Loucopoulos (Ed.), ER-94: Proceedings of the 13th International Conference on the Entity-Relationship Approach (pp. 46-63). New York: Springer-Verlag.
4.
Ferscha, A.
(1994). Qualitative and quantitative analysis of business workflows using generalized stochastic petri nets. In G. Chroust & A. Benezur (Eds.). Proceedings of Workflow Management-Challenges, Paradigms and Products (CON '94) (pp. 222-234). Vienna, Austria: Austrian Computer Society.
5.
Grunn, V.
, & Jegelka, R. (1992, September). An evaluation of FFUNSOFT nets. In J.-C. Derniame (Ed.), Software process technology-Proceedings of the Second European Software Process Modelling Workshop. Berlin, Germany: Springer-Verlag.
6.
Hammer, M.
, & Champy, J. (1993). Reengineering the corporation a manifesto for business revolution. New York: HarperBusiness.
7.
Harel, D.
(1988). On visual formalisms. Communications of the ACM, 31 (5), 514-529.
8.
Harel,.)., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., & Trakhtenbrot, M. (1990). STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16 (4), 404-414.
9.
Jacobson, I.
, Ericsson, M., & Jacobson, A. (1995). The object advantage: Business process reengineering with object technology. Reading, MA: Addison-Wesley.
10.
Karagiannis, D.
(1995). Business process management systems (BPMS).ACMSIGOIS Bulletin: Special Issue on Business Process Reengineering, 16 (1), 10-13.
11.
Keen, C.
, & Lakos, C. (1994). Information systems modelling using LOOPN++, an object petri net scheme. In A. Verbraeck, H. G. Sol, & P.W.G. Bots (Eds.), Proceedings of the Fourth International Working Conference on Dynamic Modelling of Information Systems (DYN-MOD-IV) (pp. 31-52). Noordwijkerhout, The Netherlands: Delft University Press.
12.
Kemmener, R. A.
(1985). Testing formal specifications to detect design errors. IEEE Transactions on Software Engineering, 11 (1), 32-43.
13.
Lakos, C. A.
, & Keen, C. D. (1993). Modeling a door controller protocol in LOOPN. In B. Magnuson, M. Meyer, & J.-F. Perrot (Eds.), Technology of object-oriented languages and systems TOOLS 10, Proceedings of the 10th International Conference TOOLS Europe '93 (pp. 31-43). London: Prentice Hall.
14.
Marca, D. A.
, & McGowan, C. L. (1988). SADT. New York: McGraw-Hill.
15.
Murata, T.
(1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77 (4), 541-580.
16.
Pinci, V. O.
, & Shapiro, R. M (1990). An integrated software development methodology based on hierarchical colored petri nets. In G. Rozenberg (Ed.), Advances in petri nets 1990. New York: Springer-Verlag.
17.
Starke, G.
(1994). Business models and their description. In G. Chroust & A. Benezur (Eds.), Proceedings of Workflow Management-Challenges, Paradigms and Products (CON '94) (pp. 134-147). Vienna, Austria: Austrian Computer Society.
18.
Tsalgatidou, A.
, Gouscos, D., & Halatsis, C. (1994). Dynamic process modelling through multilevel RBNs. In A. Verbraeck, H. G. Sol, & P.W.G. Bots (Eds.), Proceedings of the Fourth International Working Conference on Dynamic Modelling of Information Systems (DYNMOD-IV) (pp. 327-441). Noordwijkerhout, The Netherlands: Delft University Press.
19.
Tsalgatidou, A.
, & Junginger, S. (1995). Modelling in the re-engineering process. ACM SIGOIS Bulletin: Special Issue on Business Process Reengineering, 16 (1), 17-24.
20.
Verbraeck, A.
, & de Vreede, G. J. (1993). Animation as a communication vehicle in simulation studies. In A. Pave (Ed.), Modelling and simulation ESM93 (pp. 670-674). San Diego, CA: Society for Computer Simulation.
21.
Zave, P.
(1991). An insider's evaluation of PAISLey. IEEE Transactions on Software Engineering, 17 (3), 212-225.
