This thesis presents a modeling of systems using a Petri net and a timed Petri net, Prolog-based Petri net analysis.
A Petri net is abstract formal model of control flow. A Prolog-based tool helps us modeling and analyzing a system. A system can be easily modeled in Pr/T net with prolog-based approach. A timed Petri net is used for the performance evaluation and the time dependent modeling. A timed Petri net chooses the definition that the execution time is assigned to places. Some examples including the communication protocol in XINU are illustrated using a Prolog based tool and a timed Petri net.
이 논문에서 페트리 네트를 분석하기위한 tool을 Prolog를 사용해서 구현을 해 보고 이것을 이용해서 시스템의 모델링과 분석을 해 보았다. 또 시간 개념이 필요한 모델링을 위해서 timed 페트리 네트를 사용하고 reset arc를 도입 하였다.
페트리 네트는 concurrency나 synchronization의 모델링에 적합하다. Prolog를 사용한 tool은 시스템의 모델링과 분석을 하는데 도움을 주며 Predicate/Transition net를 쉽게 표현할 수 있게 한다. timed 페트리 네트는 place에 수행 시간을 부여한 정의를 채택했다. XINU의 통신 기능을 포함한 몇 개의 system이 Prolog based tool과 timed 페트리 네트를 이용하여 모델링및 분석되었다.
