• Feb 07, 2023 News!JACN will adopt Article-by-Article Work Flow. The benefit of article-by-article workflow is that a delay with one article may not delay the entire issue. Once a paper steps into production, it will be published online soon.   [Click]
  • May 30, 2022 News!JACN Vol.10, No.1 has been published with online version.   [Click]
  • Dec 24, 2021 News!Volume 9 No 1 has been indexed by EI (inspec)!   [Click]
General Information
    • ISSN: 1793-8244 (Print)
    • Abbreviated Title:  J. Adv. Comput. Netw.
    • Frequency: Semiyearly
    • DOI: 10.18178/JACN
    • Editor-in-Chief: Professor Haklin Kimm
    • Executive Editor: Ms. Cherry Chan
    • Abstracting/ Indexing: EBSCO, ProQuest, and Google Scholar.
    • E-mail: jacn@ejournal.net
    • APC: 500USD
Professor Haklin Kimm
East Stroudsburg University, USA
I'm happy to take on the position of editor in chief of JACN. We encourage authors to submit papers on all aspects of computer networks.

JACN 2016 Vol.4(1): 33-40 ISSN: 1793-8244
DOI: 10.18178/JACN.2016.4.1.200

Congestion Verification on Abstracted Wireless Sensor Networks with the WSN-PN Tool

Khanh Le, Thang Bui, Tho Quan, Laure Petrucci, and E´tienne Andre´

Abstract—The paper presents the WSN-PN tool, which aims at modelling and verifying Wireless Sensor Networks (WSN) using Petri nets (PN). Especially, WSN-PN allows for congestion detection on a WSN setting. Moreover, WSN-PN supports users to abstract components, which can be either sensors or channels, on the verified PN. This abstraction is possible due to the observation that in a practical situation, a reason that causes a WSN to be congested is only depending on either sensors or channels. As a result, once abstracted properly, the verification speed is improved significantly, as illustrated in our experiments.

Index Terms—WSN, WSN-PN tool, Petri nets, congestion detection.

Khanh Le, Thang Bui, and Tho Quan are with University of Technology, Ho Chi Minh, Vietnam (e-mail: lnkkhanh@@cse.hcmut.edu.vn, thang@cse.hcmut.edu.vn, qttho@cse.hcmut.edu.vn).
Laure Petrucci and E´tienne Andre´ are with Universite´ Paris 13, Sorbonne Paris Cite´, LIPN, CNRS Villetaneuse, France (e-mail: laure.petrucci@lipn.univ-paris13.fr, etienne.andre@lipn.univ-paris13.fr).


Cite:Khanh Le, Thang Bui, Tho Quan, Laure Petrucci, and E´tienne Andre´, "Congestion Verification on Abstracted Wireless Sensor Networks with the WSN-PN Tool," Journal of Advances in Computer Networks vol. 4, no. 1, pp. 33-40, 2016.

Copyright © 2008-2024. Journal of Advances in Computer Networks.  All rights reserved.
E-mail: jacn@ejournal.net