Paper Info
Title
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
Abstract
This paper is devoted to the synthesis of "well behaved" (live) nets. The work focuses on the synthesis of a subclass of nets that appear in the modeling of a wide set of flexible manufacturing systems (FMS). Basically, these nets are composed of a set of sequential processes that share a set of common resources (with some constraints in their use). Among the set of problems related to FMS, we are going to concentrate on deadlocks. In this paper, we show that for the systems under consideration it is possible to know, from a structural point of view, if a deadlock is reachable. We also show that this knowledge can be obtained in linear time (with respect to the size of the PN model). The result can be used in order to have a quick answer to whether a given configuration is correct or not, to study if such a configuration exists or not and to conclude if some deadlock control policy is needed.
Year
DOI
Venue
1998
10.1007/3-540-69108-1_5
ICATPN
Keywords
Field
DocType
structural point,quick answer,common resource,flexible manufacturing system,flexible manufacturing systems,deadlock control policy,structured petri nets,linear time,wide set,sequential process,pn model,petri net
Petri net,Subclass,Cellular manufacturing,Computer science,Manufacturing systems,Deadlock,Systems design,Flexible manufacturing system,Time complexity,Distributed computing
Conference
Volume
ISSN
ISBN
1420
0302-9743
3-540-64677-9
Citations 
PageRank 
References 
40
2.00
16
Authors
3
Name
Order
Citations
PageRank
J. Ezpeleta169144.37
F. García-Vallés2703.37
José Manuel Colom334131.92