Mobile Technology based Polio-Vaccination System (PVS) – First Step Towards Polio-Free Pakistan
暂无分享,去创建一个
Nadeem Akhtar | Saleem Ullah | Malik Muhammad Saad Missen | Amnah Firdous | Hina Asmat | Nukhba Afzal
[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.