봉쇄와 교착이 존재하는 시스템의 성능분석을 위한 페트라-네트 기반 모의질험 소프트웨어 개발

Development of a Petri-net-based Simulation Software for Performance Evaluation of the System with Blocking and Deadlock

In this paper, a new software package for modeling and simulating discrete-event dynamic systems is developed. The new software is a general-purpose, graphical tool based on timed Petri-nets and is developed using Visual Basic and Visual C++ for the window environment. It allows the user to graphically build a Petri-net model and enter input data for executing the Petri-net simulation model. It is equipped with a deadlock detection and recovery function as well as an automatic eπor check function. In addition, the software supports various enabling functions and distribution functions and provides various statistics for the performance measures of interests pertaining to the system. We expect the new software will be used in a wide number of applications including computer, communication and manufacturing systems.