Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking by Wenjie Zhong, Jian‐tao Zhou, Tao Sun

Subjects: Get full text

Research on two-phase grid task scheduling based on Petri nets by XIONG Zeng-gang 1, YANG Yang2, ZENG Ming2

Subjects: Get full text

A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System by Marcin Wojnakowski, Maxim Maliński, Remigiusz Wiśniewski, Andrzej Obuchowicz, Zhiwu Li, Dawid Konarczak

Subjects: “…Petri nets…”
Get full text

Neighbor Session Solutions for Integrated Routing Protocols by Martin Kontsek, Pavel Segec, Marek Moravcik, Juraj Smiesko

Subjects: Get full text

MODELING A NEGOTIATION PROCESS BETWEEN AIRCRAFT USING PETRI NETS by Daria ŻUCHOWSKA, Anna STELMACH

Subjects: Get full text

Representation and termination analysis for ECA rules based on extended Petri net by Li-chen ZHANG, Xiao-ming WANG, Wen-yang DOU

Subjects: Get full text

Research on Grid Scheduling of Super-Peer Model Based on QoS by Shanliang Pan, Xi Huang, Qinjiao Mao

Subjects: Get full text

ProcessM: Intelligent Process Mining software by Tomasz P. Pawlak, Jędrzej Potoniec

Subjects: “…Petri net…”
Get full text

Survivability model for reconfigurable service carrying network based on the stochastic Petri net by Liang ZHAO, Hong ZOU, Xiao-hui ZHANG

Subjects: Get full text

Service substitution method based on composition context by Hai-yan WANG, Si-rui LI

Subjects: Get full text

Risk assessment model based on fuzzy Petri nets by Xiang GAO, Yue-fei ZHU, Sheng-li LIU, Jin-long FEI, Long LIU

Subjects: Get full text

Grid Scheduling of Super-Peer Model Based on Price Timed Petri Net by Shanliang Pan, Xi Huang, Qinjiao Mao

Subjects: Get full text

Analysis and verification of safety computer time constraints for train-to-train communications by Ying GAO, Yuan CAO, Yongkui SUN, Lianchuan MA, Chunhua HONG, Yuzhuo ZHANG

Subjects: “…time Petri net…”
Get full text

Improved rule-based backward fuzzy reasoning algorithm by ZHANG Wen1, ZHANG Gui-xu1

Subjects: “…fuzzy Petri net…”
Get full text

Analysis and improvement of the BACnet/IP based on identity authentication by Pengshou XIE, Jiafeng ZHU, Yongping KANG, Tao FENG, Wei LI, Yuxiang RAN

Subjects: Get full text

Formal modeling and security analysis method of security protocol based on CPN by Xiang GONG, Tao FENG, Jinze DU

Subjects: “…colored Petri net…”
Get full text

Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN by ZHENG Lu, FENG Tao, SU Chunhua

Subjects: Get full text

Modeling and security analysis of hardware trojan attack based on GSCPN by MEI Bo, GUO Wei, CAO Zhipeng, LI Peijie, ZHANG Wenbo

Subjects: “…generalized stochastic coloring petri net…”
Get full text

Research on data loss probability and its impact of CTCS-3 train ground communication based on GSM-R by Xia ZHANG, Lian-chuan MA, Yuan CAO, Yu-zhuo ZHANG

Subjects: “…deterministic and stochastic Petri net…”
Get full text