CORC

在结果中检索

CORC

浏览/检索结果: 共12条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226
作者:  Shouguang Wang;  Wenli Duo;  Xin Guo;  Xiaoning Jiang;  Dan You
收藏  |  浏览/下载：31/0  |  提交时间：2021/04/09
An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets 期刊论文
ADVANCES IN MECHANICAL ENGINEERING, 2017, 卷号: 9, 期号: 11
作者:  Li, Shaoyong;  Wei, Xianhong;  Cai, Ying;  Ma, Bingshan;  Hou, Caiqin
收藏  |  浏览/下载：8/0  |  提交时间：2019/11/15
A two-stage deadlock control policy with maximally reachable number for ordinary Petri nets 期刊论文
Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2017, 卷号: 34, 期号: 2, 页码: 243-250
作者:  Li, Shao-Yong;  Xiao, Xing-Da;  Cai, Ying;  Hou, Cai-Qin;  Han, Xi-Lian
收藏  |  浏览/下载：10/0  |  提交时间：2020/11/14
Formal method based on Petri nets to detect RFID event 期刊论文
jisuanji yanjiu yu fazhancomputer research and development, 2012
Sun, Ji' Huang, Yu; Huang, Shuzhi; Zhang, Shikun; Yuan, Chongyi; nan
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/13
A novel method for formally detecting RFID event using Petri nets 其他
2011-01-01
Sun, Jinan; Huang, Yu; Gao, Xin; Zhang, Shikun; Wang, Lifu; Yuan, Chongyi
收藏  |  浏览/下载：6/0  |  提交时间：2015/11/13
parallel computation of continuous petri nets based on hypergraph partitioning 期刊论文
Journal of Supercomputing, 2011, 卷号: 62, 期号: 1, 页码: 1-33
Ding Zuohua; Shen Hui; Cao Jianwen
收藏  |  浏览/下载：16/0  |  提交时间：2013/10/08
Simulation and analysis of infrastructure interdependencies using a Petri net simulator in a geographical information system SCI/SSCI论文
2010
作者:  Ge Y.
收藏  |  浏览/下载：8/0  |  提交时间：2012/06/08
refining and verifying regular petri nets 期刊论文
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008, 卷号: 39, 期号: 1, 页码: 17-27
Li Jiao
收藏  |  浏览/下载：6/0  |  提交时间：2011/06/10
On liveness and boundedness of asymmetric choice nets 期刊论文
THEORETICAL COMPUTER SCIENCE, 2004, 卷号: 311, 期号: 1-3, 页码: 165-197
作者:  Jiao, L;  Cheung, TY;  Lu, WM
收藏  |  浏览/下载：9/0  |  提交时间：2018/07/30
Characterizing liveness of Petri nets in terms of siphons 期刊论文
APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 卷号: 2360, 页码: 203-216
作者:  Jiao, L;  Cheung, TY;  Lu, WM
收藏  |  浏览/下载：12/0  |  提交时间：2018/07/30

©版权所有 ©2017 CSpace - Powered by CSpace