A state-of-the-art review on performance measurement petri net models for safety critical systems of NPP

NK Jyotish, LK Singh, C Kumar - Annals of Nuclear Energy, 2022 - Elsevier
Considering the safety significance, safety critical systems (SCS) of nuclear power plant
(NPP) needs to be validated for their performance. Authors are putting their continuous …

Security in IoT network based on stochastic game net model

R Kaur, N Kaur, SK Sood - International Journal of Network …, 2017 - Wiley Online Library
The growing prevalence of Internet of Things (IoT) ushers itself with various security
concerns. Being complex in nature, traditional security countermeasures cannot be applied …

Hierarchical trust level evaluation for pervasive social networking

J Shen, T Zhou, CF Lai, J Li, X Li - IEEE Access, 2017 - ieeexplore.ieee.org
Pervasive social networking (PSN) is a fundamental infrastructure in social networking that
has played an important role in not only the Internet but also mobile domains. A practical …

Behavior reconstruction models for large-scale network service systems

Z Zhang, L Ge, P Wang, X Zhou - Peer-to-Peer Networking and …, 2019 - Springer
In large-scale network service systems, the phenomenon of instantaneous gathering of a
large number of users can cause system abnormality, whenever the load imposed by the …

Formal Modeling and Analysis of User Activity Sequence in Online Social Networks: A Stochastic Petri Net-Based Approach

W Yu, J Kong, F Hao, J Li, Y Liu - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
The continuous interaction of users and information aggregation has become a social
phenomena over massive social media platforms. However, the uncertainty of users' …

[HTML][HTML] Marked social networks: A new model of social networks based on dynamic behaviors

A Karadoğan, A Karcı - … Science and Technology, an International Journal, 2022 - Elsevier
Social networks are electronically information sharing systems, due to this case, there are
many studies on social networks. When studying social networks, text-based solution …

Smart city traffic evaluation system based on neural network model

M Wang - International Journal of Global Energy Issues, 2023 - inderscienceonline.com
Based on the basic connotation of green transportation and reorganisation and the five-in-
one theory of green transportation, the article constructs an evaluation index system for …

Apply petri nets to human performance and workload prediction under multitask

P Wang, W Fang, B Guo, H Bao - … Factors and Systems Interaction, July 17 …, 2018 - Springer
Performance and workload prediction under multitasking are one of the most important
aspects to consider during system design. This paper utilized a formal tool–namely petri …

Modeling Dynamically Behavior of Users in Social Networks using Petri Nets

A Karadogan, A Karci - Book of Abstracts, 2019 - academia.edu
Online social networks have been developed rapidly in recent years. People can share
information with each other using social networks, due to this case, social network analysis …

[PDF][PDF] Hierarchical Trust Level Evaluation for Pervasive Social Networking

J LI, X LI - scholar.archive.org
Pervasive social networking (PSN) is a fundamental infrastructure in social networking that
has played an important role in not only the Internet but also mobile domains. A practical …