Abstract
Abstract. In this paper we present a model of biometric identification system transformed into Petri Nets. Petri Nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri Nets to the researchers and practitioners, both from identification systems, who are involved in the work in the areas of modelling and analysis of biometric identification types of systems, as well as those who may potentially be involved in these areas. In addition, the paper introduces high-level Petri Nets, as Colored Petri Nets (CPN). In this paper the model of Colored Petri Net describes the identification process much simpler.
Highlights
Petri Nets (PN) are a graphical tool for formal description of the flow of activities in complex systems
A transition is enabled if the associated arc expressions of all incoming arcs can be evaluated to a multi-set, compatible with the current tokens in their respective input places, and its guard is satisfied
In a Colored Petri Net (CPN) model, tokens can be coded as data values of a rich set of types and arc inscriptions can be computed expressions and not just constants
Summary
Petri Nets (PN) are a graphical tool for formal description of the flow of activities in complex systems. Colored Petri Net (CPN) is a graphical oriented language for design, specification, simulation and verification of systems. It is in particular well-suited for systems that consist of a number of processes which communicate and synchronize. A transition is enabled if the associated arc expressions of all incoming arcs can be evaluated to a multi-set, compatible with the current tokens in their respective input places, and its guard is satisfied. In a CPN model, tokens can be coded as data values of a rich set of types (called color sets) and arc inscriptions can be computed expressions and not just constants.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
