In the analysis and design of information systems, computer-based simulation models are often used as cost-effective alternatives to mathematical sys tem analysis approaches due to the high complex ity of the systems. However, the process of devel oping a correct simulation program is a difficult and time-consuming task, even in specialized simulation languages. In order to reduce develop ment time, to reduce requirements for knowledge of simulation methodology and programming language, and also to increase program standard ization, an automatic code generation system was developed and implemented. This code generation process is based on a Petri net model of the infor mation system, from which simulation programs in the target language GPSS are automatically produced. Automation of the code generation pro cess required the adoption of certain conventions for Petri net models and the adoption of a tabular internal computer representation. We describe the design decisions that were made in order to implement a working system. Extensions to the development of automatic code generation systems into other target languages are also discussed.
Bodart, F., Hennebert, A., Leheureux, J.M. and Pigneur, Y. "Computer-Aided Specification, Evalution, and Monitoring of Information Systems" Proceedings of 1985 International Conference on Information Systems, pp 27-44, 1985.
2.
Coats, P.E. "Combining an Expert System with Simulation to Enhance Planning for Banking Networks." SIMULATION, Vol. 54, No. 6, pp 253-264, 1990.
3.
Estrin, G. , Fenchell, R.S., Razouk , R.R. and Vernon, M.K. "SARA , (System Architects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems " IEEE Transactions on Software Engineering , Vol. SE-12, No. 2, pp 293-311, 1986.
4.
Sakthivel, S. and Tanniru, M.R. "Information System Verification and Validation During Requirements Analysis Using Petri Nets." Journal of MIS, Vol. 5, No. 3, pp 33-52, 1989.
5.
Sakthivel, S. and Agarwal, R. "Knowledge-based Model Construction for Simulating Information Systems." SIMULATION, Vol. 59, No. 4, pp 223-236, 1992.
6.
Doukidis, G.I. and Paul, R.J. "Research into Expert Systems to Aid Simulation Model Formulation." Journal of Operational Research Society , Vol. 36, No. 4, pp 319-325, 1985.
7.
Law, A.M. and Kelton, D.W.Simulation Modeling & Analysis, Second Edition, McGraw-Hill , New York, 1991.
8.
Kant, K.Introduction to Computer System Performance Evaluation, Chap. 12, McGraw-Hill, New York, 1992.
9.
Murata, T. "Modelling and Analysis of Concurrent Systems." Handbook of Software Engineering, C.R. Vick and C.V. Ramamoorthy (eds.), Chap. 3, pp 39-63, Van NostrandReinhold, New York , 1984.
10.
Karian, Z.A. and Dudewicz, E.J.Modern Statistical, Systems, and GPSS Simulation , Computer Science Press, New York , 1991.
11.
Hoover, S.V. and Perry, R.F.Simulation: A Problem Solving Approach , Addison-Wesley , Reading, MA, 1989.
12.
Kreutzer, W.System Simulation Programming Styles and Languages , Addison-Wesley , Reading, MA, 1986.
13.
Lehmann, A. "Expert Systems for Interactive Simulation of Computer System." Simulation and AI, SCS Simulation Series, 18(3), pp 21-26,1988.
14.
Lew, A. "A Discrete and Continuous Systems Simulator: Applications of PNTBLSIM to Manufacturing Systems." Computers and Mathematics with Applications, Vol. 27, No. 9/10, pp 37-43, 1994.
15.
Lin, J.T. and Lee, C.-C. "A Three-phase Discrete Event Simulation with EPNSim Graphs." SIMULATION, Vol. 60, No. 6, pp 382-392, 1993.
16.
Murray, K.J. and Sheppard, S.V. "Knowledge-based Simulation Model Specification ." SIMULATION, Vol. 50, No. 3, pp 112-119, 1988.
17.
Taqi, A.A.Q. , Al-Sammak, A.J., Khan , A.A. and Ahmed, N. "A Comparative Study between Petri Net and SLAM" SIMULATION, Vol. 59, No. 5, pp 339-344, 1992.
18.
Torn, A.A. "Simulation Nets, A Simulation Modelling and Validation Tool" SIMULATION, Vol. 45, No. 2, pp 71-75,1985.
19.
Torn, A.A. "The Simulation Net Approach to Modelling and Simulation." SIMULATION, Vol. 57, No. 3, pp 196-198, 1991.
Feldbrugge, F. "Petri Net Tool Overview 1992." Advances in Petri Nets1993, G. Rozenberg (ed.), Springer-Verlag, Berlin, pp 169-209, 1993.
22.
Bauman, R. and Turano, T. "Production Based Language Simulation of Petri Nets." SIMULATION, Vol. 47, No. 5, pp 191-198, 1986.
23.
Billington, J., Wheeler, G.R. and Wilbur-Ham , M.C. "PRO-TEAN : A High-level Petri Net Tool for the Specification and Verification of Communication Protocols ." IEEE Transactions on Software Engineering, Vol. SE-14, No. 3, pp 301-316, 1988.
24.
Bruno, G. and Biglia, P. "Performance Evaluation and Validation of Tool Handling in Flexible Manufacturing Systems Using Petri Nets." Proceedings of the International Workshop on Timed Petri Nets, Torino , Italy, pp 64-71, 1985.
25.
Bruno, G. and Marchetto, G. "Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems." IEEE Transactions on Software Engineering , Vol. SE-12, No. 2, pp 346-357, 1986.
26.
Chang, S.-K. and Chan, W.-L. "Transformation and Verification of Office Procedures." IEEE Transactions on Software Engineering, Vol. SE-11, No. 8, pp 724-734, 1985.
27.
Datta, A.K. and Ghosh, S. "High-Level Petri-Net Model for a Resource-Sharing Problem." Information Sciences, Vol. 51, pp 213-220, 1990.
28.
Garg, K. "An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets." IEEE Transactions on Software Engineering , Vol. SE-11, No. 8, pp 1216-1225, 1985.
29.
Hillion, H.P. "Timed Petri Nets and Application to Multistage Production Systems." Advances in Petri Nets1989, pp 281-305, Springer-Verlag, Berlin , 1989.
30.
Kamath, M. and Viswanadham, N. "Applications of Petri Net Based Models in the Modelling and Analysis of Flexible Manufacturing Systems." Proceedings of the 1986 IEEE International Conference on Robotics and Automation, pp 312-317, 1986.
31.
Molloy, M.K. "Performance Analysis Using Stochastic Petri Nets." IEEE Transactions on Computers, Vol. C-31, No. 9, pp 913-917, 1982.
32.
Oh, G.R. , Favrel, J. and Campagne, J.P. "Graphic Modellings by Petri Nets for the Production Planning." Advances in Production Management Systems , IFIP, pp 193-203, 1984.
33.
Ozsu, M.T. "Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism." IEEE Transactions on Software Engineering, Vol. SE-11, No. 10, pp 1225-1240, 1985.
34.
Ramamoorthy, C.V. and Ho, G.S. "Performance Evaluation of Asynchronous Concurrent Systems Using Petri-Nets." IEEE Transactions on Software Engineering, Vol. SE-6, No. 5, pp 440-449, 1980.
35.
So, L.K. "Automatic Code Generation for Simulation Programs using Petri Net Models." PhD Dissertation, University of Hawaii, Honolulu, Hawaii, 1997.
36.
Lew, A. "Decision Tables for General-purpose Scientific Programming." Software-Practice and Experience, Vol. 13, No. 2, pp 181-188, 1983.
37.
Hice, G.F.Managing Information Systems Evolution, Chap. 1, CAP Gemini Publishing, 1996.
38.
Martin, M.P.Analysis and Design of Business Information Systems, Second Edition, Prentice Hall, Englewood Cliffs, NJ, 1995.
39.
So, B. and Lew, A. "Automatic Generation of SIMSCRIPT Codes for Simulation." Technical Report, University of Hawaii, Honolulu, Hawaii, 1998.
