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.