Mobile Technology based Polio-Vaccination System (PVS) – First Step Towards Polio-Free Pakistan

Health information technology revolutionized the world with its great expansion and widespread in the domain of health care system. Most of the developed countries adopted advanced technology in their vaccination systems. Vaccination systems of many developing countries still lack the use of technology eventually causing mismanagement and corruption to occur in vaccination campaigns. Issues like mismanagement and corruption not only affect vaccination campaigns but also cause further diffusion of a disease. Pakistan is also one of such countries where vaccination system is prone to these and many other issues and hence it does not help in disease eradication. For example, polio remains alive in Pakistan because Pakistan’s Polio vaccination system is faced with many problems and the biggest one is security of vaccination teams. Corruption, mismanagement, unawareness among public and life-threat to vaccination teams are the main problems of current polio vaccination system of Pakistan. To overcome these flaws and to make an idyllic system with the new advanced technology, we propose technology oriented secure polio vaccination system. The proposed system is more secure and removes flaws in the current system. We model our proposed system using Colored Petri Nets (CPNs) which is a state-of-the-art tool for formal modeling.

[1]  Steven Gordon Verification of the WAP Transaction Layer using Coloured Petri Nets , 2001 .

[2]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[3]  Wolfgang Reisig,et al.  Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986 , 1987, Advances in Petri Nets.

[4]  M. Rizwan,et al.  "Why we could not eradicate polio from pakistan and how can we?" , 2016, Journal of Ayub Medical College, Abbottabad : JAMC.

[5]  Yun Peng,et al.  Using Colored Petri Nets for Conversation Modeling , 2000, Issues in Agent Communication.

[6]  H. Van Dyke Parunak,et al.  Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis , 1996 .

[7]  S. A. Ali,et al.  Monitoring polio supplementary immunization activities using an automated short text messaging system in Karachi, Pakistan. , 2014, Bulletin of the World Health Organization.

[8]  Armin Zimmermann,et al.  Stochastic Discrete Event Systems: Modeling, Evaluation, Applications , 2007 .

[9]  S. Bhaumik Polio eradication: Current status and challenges , 2012, Journal of family medicine and primary care.

[10]  Alexander G Fiks,et al.  Factors Affecting Vaccination : Natural Targets for Technology-Based Interventions , 2013 .

[11]  Jai Srinivasan,et al.  Branching time temporal logic , 1988, REX Workshop.

[12]  Marian H. Nodine,et al.  Facilitating Open Communication in Agent Systems: The InfoSleuth Infrastructure , 1997, ATAL.

[13]  Anil Dutta Epidemiology of poliomyelitis--options and update. , 2008, Vaccine.

[14]  Lars Michael Kristensen,et al.  Simulation based performance analysis of web servers , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[15]  Bo Lindstrøm,et al.  Annotating Coloured Petri Nets , .

[16]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[17]  Kurt Jensen,et al.  Coloured Petri nets: A high level language for system design and analysis , 1991, Applications and Theory of Petri Nets.

[18]  Francisca Santana Robles,et al.  Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use , 2015 .

[19]  Yun Peng,et al.  Modeling agent conversations with colored petri nets , 1999 .

[20]  Jianmin Wang,et al.  Modeling workflow processes with colored Petri nets , 2002, Comput. Ind..

[21]  V. Seaman,et al.  Improving polio vaccination coverage in Nigeria through the use of geographic information system technology. , 2014, The Journal of infectious diseases.