000006214 001__ 6214
000006214 005__ 20190219123700.0
000006214 020__ $$a9788469471593$$a9788469471593
000006214 037__ $$aTESIS-2011-056
000006214 041__ $$aeng
000006214 1001_ $$aVazquez Topete,  Carlos Renato
000006214 24500 $$aFluidization, Controllability and Control of Timed continuous Petri Nets
000006214 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2011
000006214 300__ $$a211
000006214 500__ $$aPresentado:  24 06 2011
000006214 502__ $$aTesis-Univ. Zaragoza$$bZaragoza, Universidad de Zaragoza$$c2011
000006214 506__ $$aby-nc-nd$$bCreative Commons$$c3.0$$uhttps://creativecommons.org/licenses/by-nc-nd/3.0/
000006214 520__ $$aA 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.
000006214 6531_ $$apetri nets
000006214 6531_ $$ahybrid systems
000006214 6531_ $$ades
000006214 700__ $$aSilva Suárez, Manuel$$edir.
000006214 7102_ $$aUniversidad de Zaragoza$$bInformática e Ingeniería de Sistemas
000006214 8560_ $$fzaguan@unizar.es
000006214 8564_ $$s5853778$$uhttps://zaguan.unizar.es/record/6214/files/TESIS-2011-056.pdf$$zTexto completo (eng)
000006214 909CO $$ooai:zaguan.unizar.es:6214
000006214 909co $$ptesis
000006214 909CO $$pdriver
000006214 9102_ $$aIngeniería de sistemas y automática$$bInformática e Ingeniería de Sistemas
000006214 980__ $$aTESIS