Paper Info
Title
Behavior Description For Complex Flexible Manufacturing System Based On Decomposition Of Petri Net
Abstract
Flexible Manufacture System (FMS) is one typical kind of discrete event systems, and the behavior description, analysis and control for an FMS are important. in this paper, we focus on the modeling and analysis methods for structure-complex FMS based on Petri net. With a decomposition method of Petri net based on an index function on the place set, a structure-complex Petri net can be decomposed into a set of S-Nets. The behaviors of the original system can be expressed by the synchronization shuffle of the behaviors of these S-Nets. With the language expression, we can decide and control the liveness, fairness, deadlock and trap for the FMS, which provides a solution for the analysis of the complex FMS based on Petri net.
Year
DOI
Venue
2007
null
COMPUTER SYSTEMS SCIENCE AND ENGINEERING
Keywords
Field
DocType
flexible manufacture system, Petri net, decomposition, Petri net language, synchronization shuffle, behavior description
Petri net,Computer science,Flexible manufacturing system,Distributed computing
Journal
Volume
Issue
ISSN
22
6
0267-6192
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Qingtian Zeng124243.67
Hua Duan211019.58