QQ客服 官方微博 反馈留言

浏览/检索结果: 共10条，第1-10条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Formal modeling and security analysis method of security protocol based on CPN 期刊论文 Tongxin Xuebao/Journal on Communications, 2021, 卷号: 42, 期号: 9, 页码: 240-253 作者:  Gong, Xiang;  Feng, Tao;  Du, Jinze 收藏  |  浏览/下载：8/0  |  提交时间：2022/02/17 Analysis method  Attack path  Colored Petri Nets  Formal analysis  Formal modeling  Formal security  Modeling analyzes  Security analysis  Security protocols  State-space   Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems 期刊论文 IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 4, 页码: 905-915 作者:  Chuanliang Xia;  Chengdong Li 收藏  |  浏览/下载：13/0  |  提交时间：2021/04/09 Modeling  Petri nets  property preservation  subnet  synthesis   Petri net-based scheduling strategy and energy modeling for the cylinder block remanufacturing under uncertainty 期刊论文 ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2019, 卷号: 58, 页码: 208-219 作者:  Peng, Shitong;  Li, Tao;  Zhao, Jiali;  Guo, Yanchun;  Lv, Shengping 收藏  |  浏览/下载：2/0  |  提交时间：2019/11/15 Remanufacturing scheduling  Petri net  A(star) algorithm  Engine remanufacturing  Remanufacturing uncertainty   Deadlock detection-oriented unfolding of unbounded Petri nets 期刊论文 INFORMATION SCIENCES, 2019, 卷号: 497, 页码: 1-22 作者:  Lu, Faming;  Tao, Ranran;  Du, Yuyue;  Zeng, Qingtian;  Bao, Yunxia 收藏  |  浏览/下载：14/0  |  提交时间：2019/12/11 Petri net  State-space explosion  Net unfolding  Deadlock detection  Discrete event system   A vector matching method for analysing logic Petri nets 期刊论文 ENTERPRISE INFORMATION SYSTEMS, 2011, 卷号: 5, 期号: 4, 页码: 449-468 作者:  Du, YuYue;  Qi, Liang;  Zhou, MengChu 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/23 logic Petri nets  enabling vector sets  vector matching  state equation  reachable tree  net state space explosion   基于MSC测试目的的协议互操作性测试生成 会议论文 2006年全国通信软件学术会议论文集, 2006年全国通信软件学术会议, 中国北京, CNKI, 中国通信学会 王之梁; 吴建平; 尹霞; 施新刚; WANG Zhi-liang; WU Jian-ping; YIN Xia; SHI Xin-gang 收藏  |  浏览/下载：3/0 基于MSC测试目的的协议互操作性测试生成 期刊论文 2010, 2010 王之梁; 吴建平; 尹霞; 施新刚; WANG Zhi-liang; WU Jian-ping; YIN Xia; SHI Xin-gang 收藏  |  浏览/下载：1/0 基于CEGAR偏序化简的并行程序死锁检测 期刊论文 2010, 2010 梁中兴; 罗贵明; 旷宏斌; LIANG Zhong-xing; LUO Gui-ming; KUANG Hong-bin 收藏  |  浏览/下载：2/0 一种大规模并行程序模型的检测方法 期刊论文 2010, 2010 杨明远; 罗贵明; YANG Ming-yuan; LUO Gui-ming 收藏  |  浏览/下载：2/0 Research on model-checking based on Petri nets 期刊论文 2010, 2010 Jiang Yi-Xin; Lin Chuang; Qu Yang; Yin Hao 收藏  |  浏览/下载：2/0