Modelling and Simulation of Unreliable e2/e2/1/m Queueing System by Michal DORDA

Subjects: Get full text

OPTIMIZATION OF TOLL SERVICES USING QUEUING THEORY IN THE CASE OF ETHIOPIA by Abate Sewagegn

Subjects: Get full text

МОДЕЛЬ АВТОМАТИЗОВАНОЇ СИСТЕМИ ОПРАЦЮВАННЯ ПАРАМЕТРІВ ПАСАЖИРОПОТОКУ ГРОМАДСЬКОГО ТРАНСПОРТУ "РОЗУМНОГО" МІСТА НА ОСНОВІ КОЛЬОРОВИХ МЕРЕЖ ПЕТРІ... by O. Yu. Boreiko

Subjects: Get full text

Lightweight Anonymous Authentication and Key Agreement Protocol Based on CoAP of Internet of Things by Xiang Gong, Tao Feng

Subjects: Get full text

Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification by J. C. Carrasquel, A. Morales, M. E. Villapol

Subjects: Get full text

DEVELOPMENT OF A MATHEMATICAL MODEL OF THE PROCESSES OF INCIDENT MANAGEMENT COMMUNICATIONS SERVICES by Sergei Vladimirovich Yakovlev, Svetlana Evgen'evna Derjabina, Marina Vasil'evn Il'jasova

Subjects: Get full text

Cyber Attack Simulation for Operational Security Evaluation Using Coloured Petri Nets by Mehrdad Ashtiani, Mohammad Abdollahi Azgomi

Subjects: Get full text

Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool by Tao Feng, Taining Chen, Xiang Gong

Subjects: “…CPN tools…”
Get full text

VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS by Nadezhda S. Mogilevskaya, Sergey S. Kolchanov

Subjects: Get full text

VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS by Nadezhda S. Mogilevskaya, Sergey S. Kolchanov

Subjects: Get full text

Distributed Management Systems for Infocommunication Networks: A Model Based on TM Forum Frameworx by Valery Mochalov, Natalia Bratchenko, Gennady Linets, Sergey Yakovlev

Subjects: Get full text

Development of an imitation model of information protection system from unauthorized access using the cpn tools software by Oksana I. Bokova, Dmitry I. Korobkin, Sergey A. Kukharev, Anton D. Popov

Subjects: “…CPN Tools, Petri nets, information protection system, unauthorized access, simulation model, automated system, strongly connected components.…”
Get full text

Simulation of the dynamics of network attacks in automated systems of internal affairs bodies in the "CPN Tools" software environment by Irina G. Drovnikova, Elena S. Ovchinnikova, Evgeni A. Rogozin

Subjects: “…information protection system, unauthorized access, network attack, information conflict, petri-markov network, probabilistic-time characteristics, simulation modeling, "cpn tools" software environment.…”
Get full text