• M. Javed Department of Information Technology, Hazara University, Mansehra, Pakistan
  • M. Naeem Department of Information Technology, Hazara University, Mansehra, Pakistan
  • F. Bahadur Department of Information Technology, Hazara University, Mansehra, Pakistan
  • A. Wahab Department of Mathematics, Hazara University, Mansehra, Pakistan


Achieving better quality software has always been a challenge for software developers. Inspection is one of the most efficient techniques, which ensure the quality of software during its development. To the best of our knowledge, current inspection techniques are not realized by any formal approach. In this paper, we propose an inspection technique, which is not only backed by the formal mathematical semantics of Petri nets, but also supports inspecting concurrent processes. We also use a case study of an agent based distributed processing system to demonstrate the inspection of concurrent processes.


M. E. Eagan, Advances in Software Inspections,

IEEE Transactions on Software Engineering 12,

No. 7 (1986) 744.

T. D. Crossman, Some Experiences in the Use of

Inspection Teams in Application Development, In

Application Development Symposium, Monterey,

CA (1979).

R. A. Radice, Software Inspections, Methods &

Tools. 10, (2002) 7–20, http://www.methods

Jones, Estimating Software Costs,Tata McGrawHill Education (India), 2ndEdition (2007), http:// pdcsm KljT9QC.

C. Jones and O. Bonsignour, The Economics of

Software Quality. Pearson Education (2011).

D. L. Parnas and M. Lawford, IEEE Transactions

on Software Engineering 29, No. 8 (2003) 674.

C. A. Petri and W. Reisig, Petri Net, Scholarpedia,

, (2008) 4: pp.7–20, http://www.methodsand

J. Desel and G. Juhás, What is a Petri Net?â€

Informal Answers for the Informed Reader, In

Unifying Petri Nets, Springer-Verlag Berlin

Heidelberg (2001) pp. 1–25.

C. Cassandras and S. Lafortune, Introduction to

Discrete Event Systems, SpringerLink

Engineering, Springer (2007).

U. Farooq, C. Lam and H. Li, Towards Automated

Test Sequence Generation, In 19th Australian

Conference on Software Engineering, (2008) pp.


D. Y. Chao, Journal of Information Science and

Engineering 25, No. 6 (2009) 1963.

W. M. P. van der Aalst, The Journal of Circuits,

Systems and Computers 8, No. 1 (1998) 21.

K. Grigorova, Process Modeling using Petri Nets,

In International Conference on Computer Systems

and Technologies (2003).

K. Barkaoui and J.-F. Pradat-Peyre, Verification in

Concurrent Programming with Petri Nets

Structural Techniques, In The 3rd IEEE

International Symposium on High-Assurance

Systems Engineering. Washington, DC (USA)

IEEE Computer Society (1998) pp. 124–133.

D.A. McMeekin, A Software Inspection

Methodology for Cognitive Improvement in

Software Engineering. Ph.D Thesis, Digital

Ecosystems and Business Intelligence Institute,

Curtin University of Technology, Australia


R.O. Oladele, Reading Techniques for Software

Inspection: Review and Analysis. Technical

Report. Department of Computer Science,

University of Ilorin, Ilorin, Nigeria (2010).

Software Requirements Specification (SRS)

Document: Workflow Monitoring, Social Security

SRS document of south African Social Security

Agency. Developed for Social Development

Eastern Cape Govt. Online at: http://www.sassa., (2005).

A. Comprehensive Database of Petri Nets Tools, Petri

nets/tools/db.html (February 2014).




How to Cite

M. Javed, M. Naeem, F. Bahadur, and A. Wahab, “TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS”, The Nucleus, vol. 51, no. 2, pp. 281–289, Apr. 2014.