nach oben

Computing

Erschienen in:

25.05.2023 | Regular Paper

A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs

verfasst von: Samir Tigane, Fayçal Guerrouf, Laid Kahloul

Erschienen in: Computing | Ausgabe 10/2023

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Reconfigurable wireless ad hoc networks (R-WANETs) constitute a well-known paradigm of networks that change their structure to fulfill dynamic requirements and/or respond to their volatile environments. Several formalisms have been exploited and extended for the modeling, verification, and performance evaluation of R-WANETs. Distinguishably, generalized stochastic Petri nets (GSPNs) have been extended to some formalisms involved in the design of various kinds of networks. However, these extensions show many shortcomings. In particular, dynamic GSPNs (D-GSPNs) only allow the modeling and verification of reconfigurations in GSPNs under single-server semantics. This restriction was imposed to enable the transformation of D-GSPNs into basic GSPNs. In this paper, we extend D-GSPNs to a new formalism called improved D-GSPNs (ID-GSPNs), enabling the modeling and verification of dynamic nets whose transitions follow infinite-, single-, or multi-server semantics. Furthermore, a new algorithm that unfolds ID-GSPNs towards basic GSPNs while preserving their stochastic behaviors is provided. Additionally, the proposed algorithm yields more compact models than those obtained by existing unfolding algorithms. Finally, the proposed formalism is exploited in the modeling, verification, and performance evaluation of R-WANETs.

Vorheriger Artikel Reducing energy footprint in cloud computing: a study on the impact of clustering techniques and scheduling algorithms for scientific workflows

Nächster Artikel A cross-linguistic entity alignment method based on graph convolutional neural network and graph attention network

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Jiang D, Wang Z, Wang W, Lv Z, Choo K-KR (2022) AI-assisted energy-efficient and intelligent routing for reconfigurable wireless networks. IEEE Trans Netw Sci Eng 9(1):78–88. https://doi.org/10.1109/TNSE.2021.3075428CrossRef

Grichi H, Mosbahi O, Khalgui M, Li Z (2018) New power-oriented methodology for dynamic resizing and mobility of reconfigurable wireless sensor networks. IEEE Trans Syst Man Cybern Syst 48(7):1120–1130. https://doi.org/10.1109/TSMC.2016.2645401CrossRef

Ben Aissa Y, Bachir A, Khalgui M, Koubaa A, Li Z, Qu T (2021) On feasibility of multichannel reconfigurable wireless sensor networks under real-time and energy constraints. IEEE Trans Syst Man Cybern Syst 51(3):1446–1461. https://doi.org/10.1109/TSMC.2019.2897166CrossRef

Ma C, Li Y, Yang B, Zhang Y, Guo F (2020) Relay node placement for building wireless sensor networks with reconfigurability provision. Ad Hoc Netw 107:102263. https://doi.org/10.1016/j.adhoc.2020.102263CrossRef

Durán F, Krishna A, Le Pallec M, Mateescu R, Salaün G (2022) Models and analysis for user-driven reconfiguration of rule-based IoT applications. Internet of Things. https://doi.org/10.1016/j.iot.2022.100515CrossRef

El Khediri S (2022) Wireless sensor networks: a survey, categorization, main issues, and future orientations for clustering protocols. Computing 104(8):1775–1837MathSciNetCrossRef

El-Mougy A, Ibnkahla M, Hattab G, Ejaz W (2015) Reconfigurable wireless networks. Proc IEEE 103(7):1125–1158. https://doi.org/10.1109/JPROC.2014.2376812CrossRef

Fang Z, Fu H, Gu T, Qian Z, Jaeger T, Hu P, Mohapatra P (2021) A model checking-based security analysis framework for IoT systems. High-Confid Comput 1(1):100004. https://doi.org/10.1016/j.hcc.2021.100004CrossRef

Alur R, Dill D (1990) Automata for modeling real-time systems. In: Paterson MS (ed) Automata, languages and programming. Springer, Berlin, Heidelberg, pp 322–335CrossRefMATH

10.

Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580CrossRef

11.

Mocci A, Sangiorgio M (2013) Detecting component changes at run time with behavior models. Computing 95:191–221CrossRef

12.

Bettira R, Kahloul L, Khalgui M, Li Z (2019) Reconfigurable hierarchical timed automata: modeling and stochastic verification. In: 2019 IEEE international conference on systems, man and cybernetics (SMC), pp 2364–2371

13.

Tigane S, Guerrouf F, Hamani N, Kahloul L, Khalgui M, Ali MA (2023) Dynamic timed automata for reconfigurable system modeling and verification. Axioms. https://doi.org/10.3390/axioms12030230CrossRef

14.

Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1994) Modelling with generalized stochastic Petri nets, 1st edn. Wiley Inc, New York, NY, USAMATH

15.

Babaie S, Khosrohosseini A, Khadem-Zadeh A (2013) A new self-diagnosing approach based on Petri nets and correlation graphs for fault management in wireless sensor networks. J Syst Archit 59(8):582–600. https://doi.org/10.1016/j.sysarc.2013.06.004CrossRef

16.

Zhang Y, Wang W, Du W, Qian C, Yang H (2018) Coloured Petri net-based active sensing system of real-time and multi-source manufacturing information for smart factory. Int J Adv Manuf Technol 94(9):3427–3439CrossRef

17.

Mendonça J, Andrade E, Lima R (2019) Assessing mobile applications performance and energy consumption through experiments and stochastic models. Computing 101:1789–1811MathSciNetCrossRef

18.

Zhou M, Han L, Lu H, Fu C (2020) Distributed collaborative intrusion detection system for vehicular ad hoc networks based on invariant. Comput Netw. https://doi.org/10.1016/j.comnet.2020.107174CrossRef

19.

Zroug S, Kahloul L, Benharzallah S, Djouani K (2021) A hierarchical formal method for performance evaluation of WSNs protocol. Computing 103(6):1183–1208MathSciNetCrossRefMATH

20.

Rodrigues L, Gonçalves I, Fé I, Endo PT, Silva FA (2021) Performance and availability evaluation of an smart hospital architecture. Computing 103(10):2401–2435MathSciNetCrossRef

21.

Oukas N, Boulif M (2023) Sensor performance evaluation for long-lasting EH-WSNs by GSPN formulation, considering seasonal sunshine levels and dual standby strategy. Arab J Sci Eng 48(2):1677–1691CrossRef

22.

Vanson G, Marangé P, Levrat E (2022) End-of-life decision making in circular economy using generalized colored stochastic Petri nets. Auton Intell Syst 2(1):3CrossRef

23.

Lin Y-N, Wang S-K, Chiou G-J, Yang C-Y, Shen VR, Juang TT-Y, Huang T-J (2022) Novel deadlock control for smartphone manufacturing systems using Petri nets. Int J Control Autom Syst 20(3):877–887CrossRef

24.

Berger S, van Dun C, Häckel B (2022) IT availability risks in smart factory networks-analyzing the effects of IT threats on production processes using Petri nets. Inf Syst Front. https://doi.org/10.1007/s10796-022-10243-yCrossRef

25.

Camilli M, Capra L (2021) Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discrete Event Dyn Syst 31:609–657MathSciNetCrossRefMATH

26.

Chiola G, Dutheillet C, Franceschinis G, Haddad S (1993) Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans Comput 42(11):1343–1360. https://doi.org/10.1109/12.247838CrossRef

27.

Li J, Dai X, Meng Z, Dou J, Guan X (2009) Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams. Comput Ind Eng 57(4):1431–1451CrossRef

28.

Hafidi Y, Kahloul L, Khalgui M, Li Z, Alnowibet K, Qu T (2020) On methodology for the verification of reconfigurable timed net condition/event systems. IEEE Trans Syst Man Cybern Syst 50(10):3577–3591CrossRef

29.

Tigane S, Kahloul L, Hamani N, Khalgui M, Ali MA (2022) On quantitative properties preservation in reconfigurable generalized stochastic Petri nets. IEEE Trans Syst Man Cybern Syst. https://doi.org/10.1109/TSMC.2022.3225280CrossRef

30.

Tigane S, Kahloul L, Baarir S, Bourekkache S (2020) Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. In: Proceedings of the 13th EAI international conference on performance evaluation methodologies and tools. VALUETOOLS ’20, pp 164–171. Association for Computing Machinery, New York, NY, USA

31.

Balsamo S, Marin A, Stojic I (2016) SPNPS: a tool for perfect sampling in stochastic Petri nets. In: Agha G, Van Houdt B (eds) Quantitative evaluation of systems. Springer, Cham, pp 163–166CrossRef

32.

Dufourd C, Finkel A, Schnoebelen P (1998) Reset nets between decidability and undecidability. Automata. Languages and Programming. Springer, Berlin, Heidelberg, pp 103–115

33.

Baldan P, Corradini A, Montanari U (2005) Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. Electronic notes in theoretical computer science 127(2):5–28CrossRef

34.

König B, Nolte D, Padberg J, Rensink A (2018) A Tutorial on Graph Transformation, pp. 83–104. Springer, Cham . https://doi.org/10.1007/978-3-319-75396-6_5

35.

Kulcsár G, Lochau M, Schürr A (2018) Graph-rewriting Petri nets. In: Graph Transformation, pp. 79–96. Springer, Cham

36.

Hoffmann K, Ehrig H, Mossakowski T (2005) High-level nets with nets and rules as tokens. In: Applications and theory of Petri nets 2005, pp. 268–288. Springer, Berlin, Heidelberg

37.

Lambers L, Ehrig H, Orejas F (2006) Conflict detection for graph transformation with negative application conditions. Graph transformations. Springer, Berlin, Heidelberg, pp 61–76CrossRefMATH

Titel: A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs
verfasst von: Samir Tigane
Fayçal Guerrouf
Laid Kahloul
Publikationsdatum: 25.05.2023
Verlag: Springer Vienna
Erschienen in: Computing / Ausgabe 10/2023
Print ISSN: 0010-485X
Elektronische ISSN: 1436-5057
DOI: https://doi.org/10.1007/s00607-023-01183-9

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Springer Professional "Wirtschaft+Technik"

Weitere Artikel der Ausgabe 10/2023

MOHBA:multi-objective workflow scheduling in cloud computing using hybrid BAT algorithm

Artificial intelligence to automate the systematic review of scientific literature

Cloud services cost comparison: a clustering analysis framework

A systematic literature review of blockchain-based e-KYC systems

Ethereum fraud behavior detection based on graph neural networks

Reducing energy footprint in cloud computing: a study on the impact of clustering techniques and scheduling algorithms for scientific workflows

Premium Partner