Poster: Modeling Congestion Control using Petri Nets

被引：0

作者：

Duran, Guillem ^{[1
]}

Amigo, Jose M. ^{[1
]}

Gimenez, Angel ^{[1
]}

Valero, Jose ^{[1
]}

Bonastre, Oscar Martinez ^{[1
]}

机构：

[1] Miguel Hernandez Univ, Dept Maths Stat & Comp, Operat Res Ctr, Elche, Spain

来源：

2021 27TH IEEE INTERNATIONAL SYMPOSIUM ON LOCAL AND METROPOLITAN AREA NETWORKS (LANMAN) | 2021年

关键词：

Congestion Control; AQM; Chaos; Petri Nets;

D O I：

10.1109/LANMAN52105.2021.9478802

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Formal specification is an essential phase for the design of any network algorithm, including Active Queue Management (AQM) schemes. In this poster, we focus on modeling with Petri Nets (PN) a new scheme of AQM. Our AQM is based on a discrete dynamical model of Random Early Detection (RED) for controlling bifurcations and chaos in the Internet traffic. It incorporates new parameters (alpha, beta) that make possible a better stability control over oscillations of Average Queue Length (AQL).

引用

页数：2

共 50 条

[1] Modeling and verification of TCP congestion control based on colored Petri nets
Bao, GF
Liu, F
Li, H
[J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1045 - 1050
[2] Colored Petri Nets for Modeling Congestion Control in Wireless Sensor Networks with Retrials
Hafidi, Samy
Gharbi, Nawel
[J]. 2019 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2019, : 998 - 1003
[3] Modeling traffic signal control using Petri nets
List, GF
Cetin, M
[J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2004, 5 (03) : 177 - 187
[4] Modeling and verification of sequential control paths using Petri nets
Erhard, W
Reinsch, A
Schober, T
[J]. DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 41 - 46
[5] Using Petri nets for modeling Branch control of pipelined processors
Tu, JF
Wang, LH
[J]. HYBRID INFORMATION SYSTEMS, 2002, : 653 - 663
[6] Modeling Admission Control in OFDMA System Using Petri Nets
Ma Yukun
Lu Yanhui
An Chunyan
Yang Shouyi
[J]. 2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, : 955 - 958
[7] Modeling and supervisory control of railway networks using Petri nets
Giua, Alessandro
Seatzu, Carla
[J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 5 (03) : 431 - 445
[8] Modular modeling using Petri nets
Wang, LM
Xie, XL
[J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1996, 12 (05): : 800 - 809
[9] Modeling Petri Nets Using Alloy
Robles, Jonathan A.
Solano, Geoffrey A.
[J]. TENCON 2012 - 2012 IEEE REGION 10 CONFERENCE: SUSTAINABLE DEVELOPMENT THROUGH HUMANITARIAN TECHNOLOGY, 2012,
[10] Traffic Network Modeling and Volume Control Using Labeled Petri Nets
Ruan, Keyu
Li, Lingxi
[J]. 2021 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE (ITSC), 2021, : 3578 - 3583

← 1 2 3 4 5 →