• Jul 03, 2017 News!JACN Vol.4, No.2 has been indexed by EI (inspec)!   [Click]
  • Jul 12, 2017 News!JACN Vol.5, No.1 has been published with online version.
  • Jul 03, 2017 News!Welcome to join in the 2017 8th International Conference on Networking and Information Technology (ICNIT 2017), which will be held in Penang, Malaysia during November 24-26, 2017.
General Information
    • ISSN: 1793-8244
    • Frequency: Semiyearly
    • DOI: 10.18178/JACN
    • Editor-in-Chief: Dr. Ka Wai Gary Wong
    • Executive Editor: Ms. Nina Lee
    • Abstracting/ Indexing: EI (INSPEC, IET), Engineering & Technology Digital Library, DOAJ, Electronic Journals Library, Ulrich's Periodicals Directory, International Computer Science Digital Library (ICSDL), ProQuest, and Google Scholar.
    • E-mail: jacn@ejournal.net
Editor-in-chief
Dr. Ka Wai Gary Wong
Division of Information and Technology Studies, Faculty of Education, The University of Hong Kong.
It's a honor to serve as the editor-in-chief of JACN. I'll work together with the editors and reviewers to help the journal progress
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).

[PDF]

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-2017. Journal of Advances in Computer Networks.  All rights reserved.
E-mail: jacn@ejournal.net