The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
Download
Share
Publications Copernicus
Download
Citation
Share
Articles | Volume XLVIII-2/W9-2025
https://doi.org/10.5194/isprs-archives-XLVIII-2-W9-2025-207-2025
https://doi.org/10.5194/isprs-archives-XLVIII-2-W9-2025-207-2025
04 Sep 2025
 | 04 Sep 2025

Colored Petri nets for Modeling Processes of Biometric Identification System

Goharik Petrosyan, Andrey Avetisyan, Valery Burmin, Vladimir Knyaz, and Armen Gaboutchian

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).

Share