|
|
|
|
|
Mingyuan Huang, Dawei Cheng, Jia Zhou and Zhong Lu
Traditional reliability analysis methods such as Reliability Block Diagram, Fault Tree Analysis, and Markov Analysis are all subjective methods whose results significantly depend on the analysts? skills and experiences. A model-based reliability method i...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tao Feng, Chengfan Liu, Xiang Gong and Ye Lu
The integration of buses in industrial control systems, fueled by advancements such as the Internet of Things (IoT), has led to their widespread adoption, significantly enhancing operational efficiency. However, with the increasing interconnection of sys...
ver más
|
|
|
|
|
|
|
|
|
|
|
Isaac Machorro-Cano, José Oscar Olmedo-Aguirre, Giner Alor-Hernández, Lisbeth Rodríguez-Mazahua, José Luis Sánchez-Cervantes and Asdrúbal López-Chau
Today, new applications demand an internet of things (IoT) infrastructure with greater intelligence in our daily use devices. Among the salient features that characterize intelligent IoT systems are interoperability and dynamism. While service-oriented a...
ver más
|
|
|
|
|
|
|
|
|
|
|
Anant Sujatanagarjuna, Arne Bochem and Benjamin Leiding
Protocol flaws such as the well-known Heartbleed bug, security and privacy issues or incomplete specifications, in general, pose risks to the direct users of a protocol and further stakeholders. Formal methods, such as Colored Petri Nets (CPNs), facilita...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yisheng An, Naiqi Wu, Xiangmo Zhao, Xuan Li and Pei Chen
In this paper, we consider the problem of developing a model for traffic signal control with transit priority using Hierarchical Colored Petri nets (HCPN). Petri nets (PN) are useful for state analysis of discrete event systems due to their powerful mode...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ziyun Deng, Lei Chen, Tingqing He and Tao Meng
In order to develop a Supercomputing Cloud Platform (SCP) prototype system using Service-Oriented Architecture (SOA) and Petri nets, we researched some technologies for Web service composition. Specifically, in this paper, we propose a reliability calcul...
ver más
|
|
|
|
|
|
|
|
|
|
|
Chen, C-S; Ke, Y-L; Wu, J-S
Pág. 463 - 470
|
|
|
|
|
|
|
|
|
|
|
Kuo, C-H; Huang, H-P
Pág. 301 - 312
|
|
|
|
|
|
|
|
|
|
|
Jørgensen, J B; Kristensen, L M
Pág. 714 - 732
|
|
|
|
|
|
|
|
|
|
|
Ezpeleta, J; Colom, J M
Pág. 327 - 337
|
|
|
|
|
|