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 SPR, called ESPR 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 prevent(More)
Statechart has been utilized as a visual formalism for themodeling of complex systems. It illuminates the features on describing properties of causality, concurrency and synchronization. This paper focuses on the use of statecharts to model an urban traffic lights control system. The applications of statecharts to eight-phase, six-phase and two-phase(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)
Deterministic and stochastic Petri nets (DSPNs) are well utilized as a visual and mathematical formalism to model discrete event systems. This paper proposes to use them to model parallel railroad level crossing (LC) control systems. Their applications to both single- and double-track railroad lines are illustrated. The resulting models allow one to(More)
This paper presents a deadlock prevention algorithm for the class of sequential resource allocation system for flexible manufacturing systems, which allows for multiple resources flexible routings. Two classes of Petri nets Extended from Systems of Simple Sequential Processes with Resources (ESPR) and Systems of Simple Sequential Processes with General(More)
A transition-controlled deadlock detection and recovery prevention policy is presented for a subclass of Petri nets used to model flexible manufacturing systems. The subclass is called systems of simple sequential processes with resources (S<sup>3</sup>PR). The proposed policy is different from the standard deadlock prevention policies. Instead of adding(More)
Timed Petri nets (TPNs) have been utilized as visual formalism for the modeling of complex discrete-event dynamic systems. They illuminate the features in describing the properties of causality and concurrency. Moreover, it is well known that a synchronized TPN (STPN) allows us to present all of the concurrent states in a complex TPN. In this paper, we(More)