Colored Petri nets for Modeling Processes of Biometric Identification System
Keywords: Colored Petri net, token, position, transition, Biometric identification system
Abstract. The article discusses some issues of modeling and digitalization of real-time systems using Petri nets (Petrosyan et al., 2025). The identification and secret key generation system is modeled using the Colored Petri net, which is a modern extension of the classical Petri net. The main goal of modeling the identification and secret key generation system using the Colored Petri net is to identify the presence of errors and randomness, the behaviour of the functioning, in the efficiency of the model. The Colored Petri net (CPN) graph of the identification and secret key generation system describes the workflow, logical actions much more simply, since Petri nets are convenient mechanisms for modeling, checking, validating complex systems. The article discusses some issues of modeling and digitalization of real-time systems using Petri nets. The identification and secret key generation system is modeled using the Colored Petri net, which is a modern extension of the classical Petri net (Petrosyan et al., 2025). The main goal of modeling the identification and secret key generation system using the Colored Petri net is to identify the presence of errors and randomness, the behavior of the functioning, in the efficiency of the model. The Colored Petri net (CPN) graph of the identification and secret key generation system describes the workflow, logical actions much more simply, since Petri nets are convenient mechanisms for modeling, checking, validating complex systems (Petrosyan et al., 2025).