000118660 001__ 118660
000118660 005__ 20220921104421.0
000118660 0247_ $$2doi$$a10.3390/app12126123
000118660 0248_ $$2sideral$$a129642
000118660 037__ $$aART-2022-129642
000118660 041__ $$aeng
000118660 100__ $$aNavarro-Gutiérrez, M.
000118660 245__ $$aFluid net models: from behavioral properties to structural objects
000118660 260__ $$c2022
000118660 5060_ $$aAccess copy available to the general public$$fUnrestricted
000118660 5203_ $$aIncreasing the production in manufacturing systems is one of the main demands in modern systems. The naive approach that this goal can be achieved when more or faster resources are used is not always valid. In fact, the complex interactions among system’s elements may lead to paradoxical behaviors; for example, using faster machines could reduce the equilibrium throughput (number of part fabricated per unit time in steady state) of the system, or even worse, block all system activities, reducing it to zero. This work leverages the concepts about fluidization and analysis techniques used in Timed Continuous Petri nets (TCPN) presented in earlier works to study the behavior of the equilibrium throughput when more/faster machines are used. Herein, we illustrate how discontinuities induced bifurcations of the equilibrium throughput are due to the existence of paths that can increase/decrease the marking of certain subnets. In particular, if paths gaining/losing tokens are fired without a particular balance, then the equilibrium throughput exhibits discontinuities since the equilibrium marking loses hyperbolicity. Moreover, these discontinuities imply other undesired throughput behaviors; for example, the existence of non-monotonicities of the equilibrium throughput (when more/faster resources are used in the system, its equilibrium throughput is reduced). The discontinuities together with a homothecy property are used to explain non-monotonicities in the equilibrium throughput. A relevant aspect is that these undesired system behaviors appear when the net has structural objects named problematic configurations that are associated with certain subnets in which there are no P-semiflows. Although the number of these configurations increase exponentially in the size of the net, some reduction rules are introduced to remove configurations, while the problematic ones are kept (or can be recovered) in the reduced net. This saves computation time in the analysis and, more importantly, provides useful insights about the root of undesired behaviors. This work focus on systems that can be modeled with fluid (or continuous) mono T-semiflow Timed Continuous Petri nets. Even if under certain constraints, they are capable of capturing many characteristics of modern systems, such as interleaving of cooperation and competition.
000118660 540__ $$9info:eu-repo/semantics/openAccess$$aby$$uhttp://creativecommons.org/licenses/by/3.0/es/
000118660 655_4 $$ainfo:eu-repo/semantics/review$$vinfo:eu-repo/semantics/publishedVersion
000118660 700__ $$aRamírez-Treviño, A.
000118660 700__ $$0(orcid)0000-0001-8631-8770$$aSilva, M.$$uUniversidad de Zaragoza
000118660 7102_ $$15007$$2520$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Ingen.Sistemas y Automát.
000118660 773__ $$g12, 12 (2022), 6123 [30 pp.]$$pAppl. sci.$$tApplied Sciences (Switzerland)$$x2076-3417
000118660 8564_ $$s1958254$$uhttps://zaguan.unizar.es/record/118660/files/texto_completo.pdf$$yVersión publicada
000118660 8564_ $$s2680817$$uhttps://zaguan.unizar.es/record/118660/files/texto_completo.jpg?subformat=icon$$xicon$$yVersión publicada
000118660 909CO $$ooai:zaguan.unizar.es:118660$$particulos$$pdriver
000118660 951__ $$a2022-09-21-09:28:52
000118660 980__ $$aARTICLE