Modelling of identification and secret-key generation system with Colored Petri Net
Goharik R. Petrosyan, Lilit A. Ter-Vardanyan · 2016
The identification and secret-key generation system is modelled with Colored Petri Net, that are the modern extension of Classical Petri Net. The major goal of modelling Identification and Secret-key Generation System with Colored Petri Net is to reveal the existence of mistakes and accidents in the model, the behaviour of functioning of the model, the efficiency of the model. The graph of Colored Petri Net (CPN) of Identification and Secret-key Generation System describes the workflow much simpler, as Petri Nets are comfortable mechanisms for modelling, verification, validation of complex systems.