Fluidization, Controllability and Control of Timed continuous Petri Nets

A large amount of results can be found in the literature regarding the analysis of discrete event systems by using different models from the Petri net (PN) paradigm. Applications involve the analysis of communication protocols and manufacturing systems, the implementation of sequence controllers, va...

Descripción completa

Detalles Bibliográficos
Autores: Vazquez Topete, Carlos Renato, Silva Suárez, Manuel
Tipo de recurso: tesis de maestría
Estado:Versión publicada
Fecha de publicación:2011
País:España
Institución:Universidad de Zaragoza
Repositorio:Zaguán. Repositorio Digital de la Universidad de Zaragoza
OAI Identifier:oai:zaguan.unizar.es:6214
Acceso en línea:http://zaguan.unizar.es/record/6214
Access Level:acceso abierto
Palabra clave:petri nets
hybrid systems
des
id ES_8b88058bc445a820ce83890b93fa4dc2
oai_identifier_str oai:zaguan.unizar.es:6214
network_acronym_str ES
network_name_str España
repository_id_str
spelling Fluidization, Controllability and Control of Timed continuous Petri NetsVazquez Topete, Carlos RenatoSilva Suárez, Manuelpetri netshybrid systemsdesA large amount of results can be found in the literature regarding the analysis of discrete event systems by using different models from the Petri net (PN) paradigm. Applications involve the analysis of communication protocols and manufacturing systems, the implementation of sequence controllers, validation in software development, communication networks, supply chains, etc. This dissertation focus on the study of timed continuous Petri nets (TCPN) under infinite server semantics (also known as variable speed continuous PNs), which have been introduced as a potential approximation of the Markovian timing interpretation of discrete Petri nets. Firstly, it is studied the approximation that this model provides to the average behavior of stochastic (discrete) PNs. Later, it is studied the connection between liveness, boundedness and the timing in TCPNs. Next, the controllability of these systems is analyzed, and three different control law structures are proposed. Finally, the implementation of these controllers, into the original discrete PN models, is illustrated.Universidad de Zaragoza2011info:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://zaguan.unizar.es/record/6214reponame:Zaguán. Repositorio Digital de la Universidad de Zaragozainstname:Universidad de ZaragozaIngléshttps://creativecommons.org/licenses/by-nc-nd/3.0/info:eu-repo/semantics/openAccessoai:zaguan.unizar.es:62142026-05-29T13:59:51Z
dc.title.none.fl_str_mv Fluidization, Controllability and Control of Timed continuous Petri Nets
title Fluidization, Controllability and Control of Timed continuous Petri Nets
spellingShingle Fluidization, Controllability and Control of Timed continuous Petri Nets
Vazquez Topete, Carlos Renato
petri nets
hybrid systems
des
title_short Fluidization, Controllability and Control of Timed continuous Petri Nets
title_full Fluidization, Controllability and Control of Timed continuous Petri Nets
title_fullStr Fluidization, Controllability and Control of Timed continuous Petri Nets
title_full_unstemmed Fluidization, Controllability and Control of Timed continuous Petri Nets
title_sort Fluidization, Controllability and Control of Timed continuous Petri Nets
dc.creator.none.fl_str_mv Vazquez Topete, Carlos Renato
Silva Suárez, Manuel
author Vazquez Topete, Carlos Renato
author_facet Vazquez Topete, Carlos Renato
Silva Suárez, Manuel
author_role author
author2 Silva Suárez, Manuel
author2_role author
dc.subject.none.fl_str_mv petri nets
hybrid systems
des
topic petri nets
hybrid systems
des
description A large amount of results can be found in the literature regarding the analysis of discrete event systems by using different models from the Petri net (PN) paradigm. Applications involve the analysis of communication protocols and manufacturing systems, the implementation of sequence controllers, validation in software development, communication networks, supply chains, etc. This dissertation focus on the study of timed continuous Petri nets (TCPN) under infinite server semantics (also known as variable speed continuous PNs), which have been introduced as a potential approximation of the Markovian timing interpretation of discrete Petri nets. Firstly, it is studied the approximation that this model provides to the average behavior of stochastic (discrete) PNs. Later, it is studied the connection between liveness, boundedness and the timing in TCPNs. Next, the controllability of these systems is analyzed, and three different control law structures are proposed. Finally, the implementation of these controllers, into the original discrete PN models, is illustrated.
publishDate 2011
dc.date.none.fl_str_mv 2011
dc.type.none.fl_str_mv info:eu-repo/semantics/masterThesis
info:eu-repo/semantics/publishedVersion
format masterThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://zaguan.unizar.es/record/6214
url http://zaguan.unizar.es/record/6214
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.rights.none.fl_str_mv https://creativecommons.org/licenses/by-nc-nd/3.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-nd/3.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad de Zaragoza
publisher.none.fl_str_mv Universidad de Zaragoza
dc.source.none.fl_str_mv reponame:Zaguán. Repositorio Digital de la Universidad de Zaragoza
instname:Universidad de Zaragoza
instname_str Universidad de Zaragoza
reponame_str Zaguán. Repositorio Digital de la Universidad de Zaragoza
collection Zaguán. Repositorio Digital de la Universidad de Zaragoza
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869412831245369344
score 15,301603

Similares en LA Referencia