A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems
Autor(a) principal: | |
---|---|
Data de Publicação: | 1997 |
Outros Autores: | , |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Journal of the Brazilian Computer Society |
Texto Completo: | http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65001997000300002 |
Resumo: | This paper introduces an approach based on Colored Petri Nets (CPN) to systematically introduce fault-tolerance in the design of a supervisor for a Flexible Manufacturing System (FMS). The system is modeled by means of Place/Transition nets and then is structurally reduced, resulting in a CPN that is independent of a specific production route. The introduction of fault tolerance in the design of such a supervisor considers both forward recovery and backward recovery. For forward recovery we anticipate faults in resources in a production route and reschedule the production routes for production orders before the faulty resource is reached. The backward recovery is considered at the level of a resource in such a way that when a faulty resource is fixed, the operation restarts on the last consistent operation executed |
id |
UFRGS-28_fa04f17418b07751a290976e194e8e0c |
---|---|
oai_identifier_str |
oai:scielo:S0104-65001997000300002 |
network_acronym_str |
UFRGS-28 |
network_name_str |
Journal of the Brazilian Computer Society |
repository_id_str |
|
spelling |
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing SystemsFault ToleranceForward RecoveryBackward RecoveryFlexible Manufacturing SystemsColored Petri NetsThis paper introduces an approach based on Colored Petri Nets (CPN) to systematically introduce fault-tolerance in the design of a supervisor for a Flexible Manufacturing System (FMS). The system is modeled by means of Place/Transition nets and then is structurally reduced, resulting in a CPN that is independent of a specific production route. The introduction of fault tolerance in the design of such a supervisor considers both forward recovery and backward recovery. For forward recovery we anticipate faults in resources in a production route and reschedule the production routes for production orders before the faulty resource is reached. The backward recovery is considered at the level of a resource in such a way that when a faulty resource is fixed, the operation restarts on the last consistent operation executedSociedade Brasileira de Computação1997-11-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65001997000300002Journal of the Brazilian Computer Society v.4 n.2 1997reponame:Journal of the Brazilian Computer Societyinstname:Sociedade Brasileira de Computação (SBC)instacron:UFRGS10.1590/S0104-65001997000300002info:eu-repo/semantics/openAccessBarros,Tomaz C.Figueiredo,Jorge C.A. dePerkusich,Angeloeng1998-10-07T00:00:00Zoai:scielo:S0104-65001997000300002Revistahttps://journal-bcs.springeropen.com/PUBhttps://old.scielo.br/oai/scielo-oai.phpjbcs@icmc.sc.usp.br1678-48040104-6500opendoar:1998-10-07T00:00Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)false |
dc.title.none.fl_str_mv |
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems |
title |
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems |
spellingShingle |
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems Barros,Tomaz C. Fault Tolerance Forward Recovery Backward Recovery Flexible Manufacturing Systems Colored Petri Nets |
title_short |
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems |
title_full |
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems |
title_fullStr |
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems |
title_full_unstemmed |
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems |
title_sort |
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems |
author |
Barros,Tomaz C. |
author_facet |
Barros,Tomaz C. Figueiredo,Jorge C.A. de Perkusich,Angelo |
author_role |
author |
author2 |
Figueiredo,Jorge C.A. de Perkusich,Angelo |
author2_role |
author author |
dc.contributor.author.fl_str_mv |
Barros,Tomaz C. Figueiredo,Jorge C.A. de Perkusich,Angelo |
dc.subject.por.fl_str_mv |
Fault Tolerance Forward Recovery Backward Recovery Flexible Manufacturing Systems Colored Petri Nets |
topic |
Fault Tolerance Forward Recovery Backward Recovery Flexible Manufacturing Systems Colored Petri Nets |
description |
This paper introduces an approach based on Colored Petri Nets (CPN) to systematically introduce fault-tolerance in the design of a supervisor for a Flexible Manufacturing System (FMS). The system is modeled by means of Place/Transition nets and then is structurally reduced, resulting in a CPN that is independent of a specific production route. The introduction of fault tolerance in the design of such a supervisor considers both forward recovery and backward recovery. For forward recovery we anticipate faults in resources in a production route and reschedule the production routes for production orders before the faulty resource is reached. The backward recovery is considered at the level of a resource in such a way that when a faulty resource is fixed, the operation restarts on the last consistent operation executed |
publishDate |
1997 |
dc.date.none.fl_str_mv |
1997-11-01 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65001997000300002 |
url |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65001997000300002 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
10.1590/S0104-65001997000300002 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
text/html |
dc.publisher.none.fl_str_mv |
Sociedade Brasileira de Computação |
publisher.none.fl_str_mv |
Sociedade Brasileira de Computação |
dc.source.none.fl_str_mv |
Journal of the Brazilian Computer Society v.4 n.2 1997 reponame:Journal of the Brazilian Computer Society instname:Sociedade Brasileira de Computação (SBC) instacron:UFRGS |
instname_str |
Sociedade Brasileira de Computação (SBC) |
instacron_str |
UFRGS |
institution |
UFRGS |
reponame_str |
Journal of the Brazilian Computer Society |
collection |
Journal of the Brazilian Computer Society |
repository.name.fl_str_mv |
Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC) |
repository.mail.fl_str_mv |
jbcs@icmc.sc.usp.br |
_version_ |
1754734669492912128 |