{"id":25216,"date":"2021-10-13T11:48:24","date_gmt":"2021-10-13T09:48:24","guid":{"rendered":"https:\/\/cio.umh.es\/?p=25216"},"modified":"2022-01-13T11:49:50","modified_gmt":"2022-01-13T10:49:50","slug":"amigo-j-m-duran-g-gimenez-a-valero-j-bonastre-o-m-2021-modeling-a-new-aqm-model-for-internet-chaotic-behavior-using-petri-nets-applied-sciences-11-13-5877-2","status":"publish","type":"post","link":"https:\/\/cio.umh.es\/en\/2021\/10\/13\/amigo-j-m-duran-g-gimenez-a-valero-j-bonastre-o-m-2021-modeling-a-new-aqm-model-for-internet-chaotic-behavior-using-petri-nets-applied-sciences-11-13-5877-2\/","title":{"rendered":"Amig\u00f3, J.M., Duran, G., Gim\u00e9nez, \u00c1., Valero, J., Bonastre, O.M. (2021) \u00abModeling a new aqm model for internet chaotic behavior using petri nets\u00bb, Applied Sciences, 11 (13) : 5877"},"content":{"rendered":"<p class=\"AuthorHeader-module__syvlN margin-size-4-t\"><strong>Jos\u00e9 Mar\u00eda Amig\u00f3, Guillermo Dur\u00e1n, \u00c1ngel Gim\u00e9nez, Jos\u00e9 Valero and \u00d3scar Mart\u00ednez<\/strong><strong>\u00a0(<em>MHU<\/em>)<\/strong><\/p>\n<p style=\"text-align: justify\"><strong>Abstract:<\/strong> <span>Formal modeling is considered one of the fundamental phases in the design of network algorithms, including Active Queue Management (AQM) schemes. This article focuses on modeling with Petri nets (PNs) a new scheme of AQM. This innovative AQM is based on a discrete dynamical model of random early detection (RED) for controlling bifurcations and chaos in Internet congestion control. It incorporates new parameters (\u03b1, \u03b2) that make possible better stability control over oscillations of an average queue length (AQL) at the router. The PN is validated through the matrix equation approach, reachability tree, and invariant analysis. The correctness is validated through the key properties of reachability, boundedness, reversibility, deadlock, and liveness.<\/span><\/p>","protected":false},"excerpt":{"rendered":"<p>Jos\u00e9 Mar\u00eda Amig\u00f3, Guillermo Dur\u00e1n, \u00c1ngel Gim\u00e9nez, Jos\u00e9 Valero and \u00d3scar Mart\u00ednez\u00a0(Universidad Miguel Hern\u00e1ndez de Elche)<br \/>\nAbstract: Formal modeling is considered one of the fundamental phases in the design of network algorithms, including Active Queue Management (AQM) schemes. This article focuses on modeling with Petri nets (PNs) a new scheme of AQM. This innovative AQM is [&#8230;]<\/p>","protected":false},"author":5675,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_links_to":"","_links_to_target":""},"categories":[369888],"tags":[],"_links":{"self":[{"href":"https:\/\/cio.umh.es\/en\/wp-json\/wp\/v2\/posts\/25216"}],"collection":[{"href":"https:\/\/cio.umh.es\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cio.umh.es\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cio.umh.es\/en\/wp-json\/wp\/v2\/users\/5675"}],"replies":[{"embeddable":true,"href":"https:\/\/cio.umh.es\/en\/wp-json\/wp\/v2\/comments?post=25216"}],"version-history":[{"count":0,"href":"https:\/\/cio.umh.es\/en\/wp-json\/wp\/v2\/posts\/25216\/revisions"}],"wp:attachment":[{"href":"https:\/\/cio.umh.es\/en\/wp-json\/wp\/v2\/media?parent=25216"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cio.umh.es\/en\/wp-json\/wp\/v2\/categories?post=25216"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cio.umh.es\/en\/wp-json\/wp\/v2\/tags?post=25216"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}