ISSN : 2319-7323

INTERNATIONAL JOURNAL OF COMPUTER SCIENCE ENGINEERING

ABSTRACT

Title	:	Formal Modelling & Verification of E-NIC Issuing System Via Colored Petri Nets (CPN)
Authors	:	Muhammad Tauseef Hanif, Faizan Ahmed Khan, Fakhra Akhtar
Keywords	:	NIC Issuing System, Colored Petri Nets (CPN), State Space Graph, National identity card system, Formal verification, Automation of NIC.
Issue Date	:	Jul-Aug 2020
Abstract	:	National Identity Card (NIC) has a lot of importance to every country in the world. NIC issuing framework is a complex system and it is difficult to analyze the different components of the system and it's highly difficult to analyze the major objectives. It is accepted that giving national identity cards to all the residents would assist governments with combatting social perniciousness, for example, unlawful movement, fake exercises, just as empower the quickening of the social help conveyance component. This paper focuses on the removal of errors in a system, fast track issuing procedure of NIC for the benefit of citizens of the nation. Indeed, even with the technological environment, automation of (NIC) issuing system to improve proficiency and client-based methodology request consideration. To verify and validate such a system, formal methods are a well-researched area to model the dynamic behavior of the E-NIC issuing system. This paper endeavors to combine the Colored Petri-Nets (CPN) model with the CPN tool for evaluating the behavior of three (NIC) issuing scenarios. Coloured Petri nets enable empowers diverse modeling approaches that deliver a more affluent framework for such a complex formalism. Furthermore, CPN is visually more expressive as compared to simple elementary nets. State-Space analysis was likewise performed to ensure formal verification of the complex model by verifying the behavioral properties of the framework.
Page(s)	:	338-345
ISSN	:	2319-7323
Source	:	Vol. 9, No. 4