首页> 外文OA文献 >Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection

【2h】

Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection

机译：基于互斥的死锁检测加速对培养网的可达性分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yunkai DU; Naijie GU; Xin ZHOU;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection [J] . Yunkai DU, Naijie GU, Xin ZHOU IEICE transactions on information and systems . 2016,第12期

机译：基于互斥的死锁检测的Petri网加速可达性分析
2. Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets [J] . Faming Lu, Qingtian Zeng, MengChu Zhou, Systems, Man and Cybernetics, IEEE Transactions on . 2019,第6期

机译：复杂可及树及其在无穷Petri网死锁检测中的应用
3. An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets: [J] . Shaoyong Li, Xianhong Wei, Ying Cai, Advances in Mechanical Engineering . 2017,第11期

机译：一种基本的基于虹吸的死锁控制算法，具有最大可到达的数目以应对普通Petri网中的死锁问题：
4. Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection [C] . Yunkai Du, Naijie Gu International Symposium on Computing and Networking . 2015

机译：基于互斥的死锁检测的Petri网加速可达性分析
5. A Geometric Approach to Integer Optimization and Its Application for Reachability Analysis in Petri Nets. [D] . Gu, Shenshen. 2009

机译：整数优化的几何方法及其在Petri网可达性分析中的应用。
6. SSA-ME Detection of cancer driver genes using mutual exclusivity by small subnetwork analysis [O] . Sergio Pulido-Tamayo, Bram Weytjens, Dries De Maeyer, -1

机译：SSA-ME通过小子网分析使用互斥性检测癌症驱动基因
7. An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets [O] . Shaoyong Li, Xianhong Wei, Ying Cai, 2017

机译：基于基于Siphon的死锁控制算法，具有最大可达数量，以应对普通Petri网的死锁问题
8. Efficient Detection of Deadlocks in Petri Nets [R] . Varpaaniemi, K. 1993

机译：petri网中死锁的有效检测

Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection

著录项

引文网络

相似文献

相关主题

期刊订阅