• Mar 31, 2016 News!JACN Vol.3, No.3 has been indexed by EI (inspec)!   [Click]
  • Jun 24, 2016 News!JACN Vol.4, No.2 has been published with online version. 15 papres about advances in computer networks are published in this issue.   [Click]
  • Mar 31, 2016 News!JACN Vol.3, No.2 has been indexed by EI (inspec)!   [Click]
General Information
    • ISSN: 1793-8244
    • Frequency: Quarterly
    • DOI: 10.18178/JACN
    • Editor-in-Chief: Dr. Ka Wai Gary Wong
    • Executive Editor: Ms. Julia S. Ma
    • 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
Department of Mathematics and Information Technology The Hong Kong Institute of Education, 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-2016. Journal of Advances in Computer Networks.  All rights reserved.
E-mail: jacn@ejournal.net