Google scholar arxiv informatics ads IJAIS publications are indexed with Google Scholar, NASA ADS, Informatics et. al.

Call for Paper


July Edition 2021

International Journal of Applied Information Systems solicits high quality original research papers for the July 2021 Edition of the journal. The last date of research paper submission is June 15, 2021.

Modelling and Congestion Detection of Wireless Sensor Networks: A Concurrent-based Approach using Coloured Petri Nets

Giang Trinh, Khanh Le, Tam Bang, Quan Tram, Thang Bui, Tho Quan. Published in Information Sciences

International Journal of Applied Information Systems
Year of Publication: 2016
Publisher: Foundation of Computer Science (FCS), NY, USA
Authors:Giang Trinh, Khanh Le, Tam Bang, Quan Tram, Thang Bui, Tho Quan
Download full text
  1. Giang Trinh, Khanh Le, Tam Bang, Quan Tram, Thang Bui and Tho Quan. Modelling and Congestion Detection of Wireless Sensor Networks: A Concurrent-based Approach using Coloured Petri Nets. International Journal of Applied Information Systems 11(7):1-9, December 2016. URL, DOI BibTeX

    	author = "Giang Trinh and Khanh Le and Tam Bang and Quan Tram and Thang Bui and Tho Quan",
    	title = "Modelling and Congestion Detection of Wireless Sensor Networks: A Concurrent-based Approach using Coloured Petri Nets",
    	journal = "International Journal of Applied Information Systems",
    	issue_date = "December 2016",
    	volume = 11,
    	number = 7,
    	month = "Dec",
    	year = 2016,
    	issn = "2249-0868",
    	pages = "1-9",
    	numpages = 9,
    	url = "",
    	doi = "10.5120/ijais2016451629",
    	publisher = "Foundation of Computer Science (FCS), NY, USA",
    	address = "New York, USA"


Congestion in Wireless Sensor Networks (WSNs for short) causes not only packet loss and but also leads to excessive energy consumption. Therefore, congestion needs to be detected as well as controlled in order to prolong system lifetime. There are two streams to concern congestion detection including simulation-based and model-based. Following the second stream, formal modelling techniques are used for analysis of WSNs. Coloured Petri nets (CPNs for short) that combines Petri nets with programming languages is a powerful modelling technique. This paper presents a CPN-based approach for formal modelling and congestion detection of WSNs. The proposed model describes parameters and behaviours of a WSN. Then the congestion detection problem is reduced to a reachability problem on the state space of the CPN-based model. Moreover, the CPN-based model uses the hierarchical modelling capability of CPNs, including different levels of abstraction (sub-modules). This helps easily handling and extending the model. In reality, WSN components (sensors and channels) can execute a number of concurrent operations. This is called concurrency of WSNs. The CPN-based model is extended to express the concurrency, thus improving the congestion detection results.


  1. Ian F. Akyildiz, Weilian Su, Yogesh Sankarasubramaniam, and Erdal Cayirci. Wireless sensor networks: a survey. Computer Networks, 38(4):393–422, 2002.
  2. Jennifer Yick, Biswanath Mukherjee, and Dipak Ghosal. Wireless sensor network survey. Computer Networks, 52(12):2292–2330, 2008.
  3. Chieh-Yih Wan, Shane B. Eisenman, and Andrew T. Campbell. CODA: congestion detection and avoidance in sensor networks. In Proceedings of the 1st International Conference on Embedded Networked Sensor Systems (SenSys 2003), pages 266–279. ACM, 2003.
  4. Khanh Le, Thang Bui, Tho Quan, Laure Petrucci, and Etienne Andre. Congestion verification on abstracted wireless sensor networks with the WSN-PN tool. Journal of Advances in Computer Networks, 4(1), 2016.
  5. Bret Hull, Kyle Jamieson, and Hari Balakrishnan. Mitigating congestion in wireless sensor networks. In Proceedings of the 2nd international conference on Embedded networked sensor systems, pages 134–147. ACM, 2004.
  6. Charalambos Sergiou, Pavlos Antoniou, and Vasos Vassiliou. A comprehensive survey of congestion control protocols in wireless sensor networks. IEEE Communications Surveys & Tutorials, 16(4):1839–1859, 2014.
  7. The Network Simulator NS-2. nsnam/ns/.
  8. András Varga and Rudolf Hornig. An overview of the omnet++ simulation environment. In Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008, page 60, 2008.
  9. Kurt Jensen, Lars Michael Kristensen, and Lisa Wells. Coloured petri nets and CPN Tools for modelling and validation of concurrent systems. STTT, 9(3-4):213–254, 2007.
  10. Fei Liu and Ming Yang. Compositional colored petri net approach to multiscale modeling for systems biology. International Journal of Modeling, Simulation, and Scientific Computing, 5(04):1450017, 2014.
  11. Bruno Lacerda and Pedro U Lima. Petri nets as an analysis tool for data flow in wireless sensor networks. In The First Portuguese Conference on WSNs, Coimbra, Portugal, pages 1–6, 2011.
  12. Sajeh Zairi, NIEL Eric, and Belhassen ZOUARI. Global generic model for formal validation of the wireless sensor networks properties. IFAC Proceedings Volumes, 44(1):5395–5400, 2011.
  13. Dina M Ibrahim, Elsayed A Sallam, Tarek E Eltobely, and Mahmoud M Fahmy. Coloured petri net model for vector-based forwarding routing protocol. In The International Conference on Computing Technology and Information Management (ICCTIM), pages 169–176. Society of Digital Information and Wireless Communication, 2014.
  14. Jason Hill, Robert Szewczyk, Alec Woo, Seth Hollar, David Culler, and Kristofer Pister. System architecture directions for networked sensors. ACM SIGOPS operating systems review, 34(5):93–104, 2000.
  15. Edmund M Clarke, Orna Grumberg, and Doron Peled. Model checking. MIT press, 1999.
  16. D. A. Zaitsev. Switched LAN simulation by colored Petri nets. Mathematics and Computers in Simulation, 65(3):245–249, 2004.
  17. Congzhe Zhang and Mengchu Zhou. A stochastic Petri net-approach to modeling and analysis of ad hoc network. In Information Technology: Research and Education (ITRE 2003), pages 152–156. IEEE, 2003.
  18. Mohammad Abdollahi Azgomi and Ali Khalili. Performance evaluation of sensor medium access control protocol using coloured petri nets. Electronic Notes in Theoretical Computer Science, 242(2):31–42, 2009.
  19. Antônio Dâmaso, Nelson Rosa, and Paulo Maciel. Using coloured petri nets for evaluating the power consumption of wireless sensor networks. International Journal of Distributed Sensor Networks, 2014, 2014.
  20. Kurt Jensen and Lars Michael Kristensen. Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, 2009.
  21. Soren Christensen and Torben Bisgaard Haagh. Design/CPN overview of CPN ML syntax. University of Aarhus, 3, 1996.
  22. Soren Christensen and Kjeld H Mortensen. Design/CPN ASK-CTL manual. University of Aarhus, 1996.


Wireless Sensor networks, Congestion detection, Concurrency architecture, Petri nets, Coloured Petri nets