Idioma:

A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

Ezpeleta, J. ; García-Vallés, F. ; Colom, J. M.

Application and Theory of Petri Nets 1998, 1998, p.64-83 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

Enviar para

Título:
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
Autor: Ezpeleta, J. ; García-Vallés, F. ; Colom, J. M.
Assuntos: Analysis and synthesis ; Application to flexible manufacturing ; Applied sciences ; Computer science; control theory; systems ; Control theory. Systems ; Exact sciences and technology ; Process control. Computer integrated manufacturing ; Structure and behaviour of nets ; System design and verification using nets
É parte de: Application and Theory of Petri Nets 1998, 1998, p.64-83
Notas: This work has been partially supported by the Spanish research project CICYT TAP 95-0574
Descrição: 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.
Editor: Berlin, Heidelberg: Springer Berlin Heidelberg
Idioma: Inglês

Links

View record in Pascal Francis

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

Ezpeleta, J. ; García-Vallés, F. ; Colom, J. M.

Berlin, Heidelberg: Springer Berlin Heidelberg

Buscando em bases de dados remotas. Favor aguardar.