An efficient liveness enforcing supervisor for FMSs based on Petri nets and the theory of regions

Authors:
Yi-Sheng Huang;Yen-Liang Pan;Mu-Der Jeng
Affiliations:
Department of Electrical and Electronic Engineering, National Defense University, Taoyuan, Taiwan, R.O.C.;Department of Electrical and Electronic Engineering, National Defense University, Taoyuan, Taiwan, R.O.C.;Department of Electrical Engineering, National Taiwan Ocean University, Keelung City, Taiwan, R.O.C.
Venue:
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Year:
2009

Citing 10
Cited 0

Elementary transition systems

Selected papers of the Second Workshop on Concurrency and compositionality
The synthesis problem of Petri nets

Acta Informatica
Deriving Petri Nets from Finite Transition Systems

IEEE Transactions on Computers
Polynomial Algorithms for the Synthesis of Bounded Nets

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Theory of Regions

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an efficient method to obtain a maximally permissive deadlock prevention policy for a flexible manufacturing system based on theory of regions. The theory of regions policy can provides an optimal deadlock prevention controller which is based on the reachability graph. However, its disadvantage is the state explosion problem since all marking/transition-separation instances (MTSIs) have to be identified. For improving the shortcoming, this paper proposes a new concept of the crucial marking/transition-separation instances (CMTSIs). Experimental results indicate that the proposed control policy in this paper is more efficient than the closely related approaches in the literature.