Dynamic process modelling using Petri nets with applications to nuclear power plant emergency management

International Journal of Simulation and Process Modelling

Volumn 4, Issue 2, 2008, Pages 130-138

  Tavana, Madjid ^a  

^a LA SALLE UNIVERSITY   (United States)

Author keywords

Decision tree; Dynamic systems; Emergency management system; Nuclear power plant; Petri net; PN; Process modelling

Indexed keywords

CIVIL DEFENSE; DATA FLOW GRAPHS; DECISION TREES; DISASTERS; DYNAMICAL SYSTEMS; NUCLEAR ENERGY; NUCLEAR FUELS; NUCLEAR POWER PLANTS; PETRI NETS; PROCESS ENGINEERING; RISK MANAGEMENT;

COMPLEX INFORMATION SYSTEMS; EMERGENCY MANAGEMENT; EMERGENCY MANAGEMENT SYSTEMS; ENTITY RELATIONSHIP DIAGRAMS; HIGH-LEVEL ABSTRACTION; MATHEMATICAL FOUNDATIONS; PROCESS MODELLING; ROLE ACTIVITY DIAGRAMS;

DATA FLOW ANALYSIS;

EID: 58149121137     PISSN: 17402123     EISSN: 17402131     Source Type: Journal    
DOI: 10.1504/IJSPM.2008.022074     Document Type: Article

References (43)

1. Balduzzi, F., Giua, A. and Menga, G. (2000). 'First-order hybrid petri nets: A model for optimization and control', IEEE Transactions on Robotics and Automation, Vol. 16, No. 4, pp.382-399.
2. Becker, J., Kugeler, M. and Rosemann, M. (2005) Process Management 2nd ed., Springer-Verlag, Berlin, Germany.
3. Berthelot, G. and Terrat, R. (1982) 'Petri-net theory for correctness of protocols', IEEE Transactions on Communication, Vol. 30, No. 12, pp.2497-2505.
4. Bruno, G. and Marchetto, G. (1986) 'Process-translatable petri nets for the rapid prototyping of process control systems', IEEE Transactions on Software Engineering, Vol. 12, No. 2, pp.346-357.
5. Bullers, W.I. (1991) 'A tripartite approach to information systems development', Decision Sciences, Vol. 22, No. 1, pp.120-135.
6. Camurri, A., Franchi, P., Gandolfor, F. and Zaccaria, R. (1993) 'Petri net based process scheduling: A model of the control system of flexible manufacturing systems', Journal of Intelligent and Robotic Systems Vol. 8, No. 1, pp.99-123.
7. Chen, S.C., Ke, Y.L. and Wu, J.S. (2001) 'Coloured petri-nets approach for solving distribution system contingency', Proceedings of the IEEE Vol. 148, No. 5, pp.463-470.
8. Cooper, K., Brailsford, S.C. and Davies, R. (2007) 'Choice of modelling technique for evaluating health care interventions', Journal of the Operational Research Society, Vol. 58, pp.168-176.
9. Curtis, B., Keller, M.I. and Over, J. (1992) 'Process modelling', Communications of ACM, Vol. 35, No. 9, pp.75-90.
10. Davenport, T.H. and Short, J.E. (1990) 'The new industrial engineering: information technology and business process redesign', Sloan Management Review, Vol. 31, No. 4, pp.11-27.
11. Holt, A.W. (1971) 'Introduction to occurrence systems', in Jacks, L. (Ed.): Associate Information Techniques, American Elsevier, New York, pp.175-203.
12. Huang, Y-M., Chen, J-N., Huang, T-C., Jeng, Y-L. and Kuo, Y-H. (2008) 'Standardized course generation process using dynamic fuzzy petri nets', Expert Systems with Applications, Vol. 34, pp.72-86.
13. Jantzen, M. (1980) Structures Representation of Knowledge by Petri Nets as an Aid for Teaching and Research, Lecture Notes in Computer Science, Springer Verlag, Berlin.
14. Kalpic, B. and Bernus, P. (2006) 'Business process modelling through the knowledge management perspective', Journal of Knowledge Management Vol. 10, No. 3, pp.40-56.
15. Kim, C.H., Yim, D.S. and Weston, R.H. (2001) 'An integrated use of IDEF0, IDEF3 and petri-net methods in support of business process modelling', Proceedings of the Institution of Mechanical Engineers Vol. 215, No. 4, pp.317-329.
16. Kis, T., Kiritsis, D. and Xirouchakis, P. (2000) 'A Petri net model for integrated process and job shop production planning', Journal of Intelligent Manufacturing, Vol. 11, pp.191-207.
17. Lee, J., Pan, J.I. and Kuo, J.Y. (2001) 'Verifying scenarios with time petri-nets', Information and Software Technology, Vol. 43, No. 13, pp.769-781.
18. Li, X. and Lara-Rosano, F. (2000) 'Adaptive fuzzy Petri nets for dynamic knowledge representation and inference', Expert Systems with Applications, Vol. 19, No. 3, pp.235-241.
19. Liu, R., Kumar, A. and van der Aalst, W. (2007) 'A formal modelling approach for supply chain event management', Decision Support Systems Vol. 43, pp.761-778.
20. Mehrez, A., Muzumdar, M., Acar, W. and Weinroth, G. (1995) 'A petri-net model view of decision making: An operational analysis', Omega - The International Journal of Management Science, Vol. 23, No. 1, pp.63-78.
21. Mortensen, K.H. (2003) Petri Nets Tools and Software, http:// www.daimi.au.dk/PetriNets/tools
22. Murata, T. (1984) 'Modelling and analysis of concurrent systems', in Vicks, C.R. (Ed.): Handbook of Software Engineering, Van Nostrand Reinhold, New York, pp.39-63.
23. Murata, T. (1989) 'Petri nets: Properties, analysis and applications', Proceedings of the IEEE, 77, Vol. 4, pp.541-580.
24. Peristeras, V. and Tarabanis, K. (2000) 'Towards an enterprise architecture for public administration using a top-down approach', European Journal of Information Systems, Vol. 9, pp.252-260.
25. Peterson, J.L. (1981) Petri Net Theory and the Modelling of Systems Prentice-Hall, Inc., Morristown, NJ.
26. Petri, C.A. (1962) Kommunikation mit Automaten, University of Bonn, English Translation by Greene, C.F. (1965) Communication with Automata, Supplement to Technical Report RADC-TR-65-377, Vol. 1, Rome Air Development Center, Griffith Air Force Base, Rome, NY.
27. Piera, M.A., Narciso, M., Guasch, A. and Riera, D. (2004) 'Optimization of logistic and manufacturing systems through simulation: A colored petri net-based methodology', Simulation, Vol. 80, No. 3, pp.121-129.
28. Richter, G. and Maffeo, B. (1993) 'Toward a rigorous interpretation of ESNL - extended systems modelling language', IEEE Transaction on Software Engineering, Vol. 19, No. 2, pp.165-181.
29. Rosemann, M. (2000) 'Using reference models within the enterprise resource planning life cycle', Australian Accounting Review, Vol. 3, No. 22, pp.19-31.
30. Rosemann, M. and Zur Muhlen, M. (1997) 'Evaluation of workflow management systems - a meta model approach', Australian Journal of Information Systems, Vol. 6, No. 1, pp.103-116.
31. Rosemann, M. (2006) 'Potential pitfalls of process modeling: Part a', Business Process Management Journal, Vol. 12, No. 2, pp.249-254.
32. Sakthivel, S. and Tanniru, M.R. (1988-1889) 'Information verification and validation during requirement analysis using Petri nets', Journal of Management Information Systems, Vol. 5, No. 3, pp.33-52.
33. Scheer, A-W. (2000) ARIS - Business Process Frameworks, 3rd ed., Springer-Verlag, Berlin, Germany.
34. Scheer, A-W., Abolhassan, F., Jost, W. and Kirchmer, M. (Eds.) (2003) Business Process Change Management: ARIS in Practice, Springer-Verlag, Berlin, Germany.
35. Smith, H. and Fingar, P. (2003) Business Process Management, The third wave, Meghan-Kiffer Press, Tampa, FL.
36. Tavana, M., Ortiz, J. and Torney, S. (2003) 'Modelling station duty officer operations assistant at Johnson space center', Advances in Engineering Software, Vol. 34, No. 3, pp.139-162.
37. van Hee, K.M., Somers, L.J. and Voorhoeve, M. (1991) 'A modelling environment for decision support systems', Decision Support Systems Vol. 7, pp.241-251.
38. Viswanadham, N. and Srinivasa Raghavan, N.R. (2000) 'Performance analysis and design of supply chains: A petri net approach', Journal of the Operational Research Society, Vol. 51, No. 10, pp.1158-1169.
39. Wong, M.L. (2001) 'A flexible knowledge discovery system using genetic programming and login grammars', Decision Support Systems, Vol. 31, pp.405-428.
40. Yourdon, E. (1989) Modern Structured Analysis, Prentice Hall, Englewood Cliffs, New Jersey.
41. Zave, P. (1982) 'An operational approach to requirements specification for embedded systems', IEEE Transactions on Software Engineering, Vol. 8, No. 3, pp.250-269.
42. Zhovtobryukh, D. (2007) 'A petri net-based approach for automated goal-driven web service composition', Simulation, Vol. 83, No. 1, pp.33-63.
43. Zurawski, R. and Zhou, M-C. (1994) 'Petri nets and industrial applications: A tutorial', IEEE Transactions on Industrial Electronics, Vol. 41, No. 6, pp.567-583.