Yi-Sheng Huang

Learn More
In this paper, we present a new deadlock prevention algorithm for the class Petri nets. A new class of net that is extended from S 3 PR, called ES 3 PR where deadlocks are related to unmarked siphons. This method is an iterative approach by adding two kinds of control places called ordinary control place and weighted control place to the original model to(More)
Petri nets have been utilized as a visual formalism for the modeling of complex system. It illuminates the features on describing properties of causality, concurrency and synchronization. This paper focuses on the use of Timed Coloured Petri nets (Timed CP-nets) to model a basic traffic control system. A module of basic traffic control system of Timed(More)