Verification of current-state opacity and opaque time for labeled time Petri net systems

已完结

文献求助详情

标题	[高分] Verification of current-state opacity and opaque time for labeled time Petri net systems 标记时间Petri网系统当前状态不透明性和不透明时间的验证相关领域不透明度 Petri网国家（计算机科学）计算机科学电流（流体）算法工程类物理电气工程光学
网址	https://doi.org/10.1016/j.automatica.2025.112241
DOI	10.1016/j.automatica.2025.112241 doi
其它	期刊：Automatica 作者：Yuting Wang; Liang Li; Zhiwu Li 出版日期：2025-03-09
求助人	XBL 在 2025-03-20 19:53:38 发布自天津，悬赏 50 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

在科研通，轻松享有文献下载的自由

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

活动

『应助活动周』即将开启 🔥 (2025-3-20)

更新

『即时热点』模块已上线 (2025-2-28)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 科研通AI2S上传了应助文件

21秒前; 拓跋雨梅完成签到，获得积分0

36秒前; NexusExplorer的应助被VDC采纳，获得10

1分钟前; Ava的应助被科研通管家采纳，获得10

1分钟前; 科研通AI2S的应助被科研通管家采纳，获得10

1分钟前; 愉悦完成签到，获得积分10

1分钟前; 赘婿的应助被浚稚采纳，获得10

1分钟前; 赘婿上传了应助文件

1分钟前; 浚稚发布了新的文献求助10

1分钟前; 唱最幸福的歌完成签到，获得积分10

2分钟前; 直率的笑翠完成签到，获得积分10

3分钟前; 积极的中蓝完成签到，获得积分10

3分钟前; NexusExplorer上传了应助文件

3分钟前; CipherSage的应助被科研通管家采纳，获得10

3分钟前; VDC发布了新的文献求助10

3分钟前; lyl19880908的应助被xiaoyi采纳，获得10

3分钟前; 科研通AI2S上传了应助文件

3分钟前; xiaolang2004完成签到，获得积分10

3分钟前; xiaoyi完成签到，获得积分10

3分钟前; 明朗完成签到，获得积分10

3分钟前; 一只橘子完成签到，获得积分10

4分钟前; MIMI完成签到，获得积分10

4分钟前; HLT完成签到，获得积分10

4分钟前; konosuba完成签到，获得积分10

4分钟前; 科研通AI2S上传了应助文件

4分钟前; 午后狂睡完成签到，获得积分10

5分钟前; creep2020完成签到，获得积分10

5分钟前; Jasper的应助被科研通管家采纳，获得10

5分钟前; vbnn完成签到，获得积分10

5分钟前; xiaozou55完成签到，获得积分10

5分钟前; 小西完成签到，获得积分10

5分钟前; 酷炫的黄豆发布了新的文献求助20

5分钟前; 木南大宝完成签到，获得积分10

6分钟前; kourosz发布了新的文献求助10

6分钟前; Sunnpy完成签到，获得积分10

6分钟前; maggiexjl完成签到，获得积分10

6分钟前; QP34完成签到，获得积分10

7分钟前; 隐形曼青的应助被科研通管家采纳，获得10

7分钟前; 完美世界的应助被科研通管家采纳，获得10

7分钟前; hululu完成签到，获得积分10

7分钟前