Bisimulation non-interference analysis of bounded Petri nets

已完结

文献求助详情

标题	Bisimulation non-interference analysis of bounded Petri nets 有界Petri网的双模拟无干扰分析相关领域仿真对 Petri网有界函数计算机科学干扰（通信）随机Petri网理论计算机科学分布式计算数学计算机网络数学分析频道（广播）
网址	https://doi.org/10.1109/codit62066.2024.10708468
DOI	10.1109/codit62066.2024.10708468 doi
其它	期刊：2022 8th International Conference on Control, Decision and Information Technologies (CoDIT) 作者：Ning Ran; Jinyuan Hao; Zhou He; Mauro Franceschelli; Carla Seatzu 出版日期：2024-07-01
求助人	电动猪皮在 2025-02-25 18:15:27 发布自河北，悬赏 10 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

International Society for Optics and Photonics (SPIE)

上个求助

下个求助

该求助已完结，感谢关注

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

科研通的所有服务均免费，并承诺对个人用户永久免费！

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

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

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

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

实时播报: linwenfengcool完成签到，获得积分10

1秒前; 西瓜的应助被Han采纳，获得20

1秒前; spurs17发布了新的文献求助10

3秒前; 共享精神上传了应助文件

3秒前; quantopt的应助被幸福采纳，获得10

4秒前; 艾斯库普斯发布了新的文献求助10

4秒前; 小胡啊完成签到，获得积分10

4秒前; 爆米花上传了应助文件

5秒前; 尹不愁发布了新的文献求助10

5秒前; Danny完成签到，获得积分10

5秒前; cza完成签到，获得积分10

5秒前; 柯乐不喝cola发布了新的文献求助10

5秒前; CC发布了新的文献求助10

6秒前; 如意的白晴发布了新的文献求助10

7秒前; Michaelfall完成签到，获得积分10

7秒前; 小胡啊发布了新的文献求助10

8秒前; 852上传了应助文件

8秒前; 无名老大上传了应助文件

8秒前; 寻觅关闭了寻觅的文献求助

8秒前; uuuu完成签到，获得积分10

8秒前; huanhuan发布了新的文献求助10

8秒前; 傲娇的凡旋上传了应助文件

9秒前; 英姑的应助被快乐友易采纳，获得10

10秒前; 科研通AI2S上传了应助文件

10秒前; FashionBoy上传了应助文件

12秒前; boz发布了新的文献求助10

13秒前; 汉堡包上传了应助文件

13秒前; 忭博士完成签到，获得积分20

15秒前; 慕华完成签到，获得积分10

15秒前; 今后的应助被杨雨帆采纳，获得10

16秒前; lingyan hu发布了新的文献求助10

16秒前; 虚幻的翎的应助被彩色莞采纳，获得20

16秒前; 科研圣体发布了新的文献求助10

16秒前; 斯文败类的应助被胡高照采纳，获得10

17秒前; memedaaaah发布了新的文献求助10

18秒前; 我是老大的应助被JazzWon采纳，获得10

18秒前; 寻觅驳回了李健的应助

18秒前; 香蕉完成签到，获得积分10

18秒前; 乔杰完成签到，获得积分10

18秒前; chancewong完成签到，获得积分20

19秒前