已入深夜,您辛苦了!由于当前在线用户较少,发布求助请尽量完整的填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!祝你早点完成任务,早点休息,好梦!

Bisimulation non-interference analysis of bounded Petri nets

仿真对 Petri网 有界函数 计算机科学 干扰(通信) 随机Petri网 理论计算机科学 分布式计算 数学 计算机网络 数学分析 频道(广播)
作者
Ning Ran,Jinyuan Hao,Zhou He,Mauro Franceschelli,Carla Seatzu
标识
DOI:10.1109/codit62066.2024.10708468
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
zhuzhezhe发布了新的文献求助10
刚刚
刚刚
王王完成签到 ,获得积分10
刚刚
www发布了新的文献求助10
1秒前
baihehuakai完成签到 ,获得积分10
1秒前
hzc发布了新的文献求助10
2秒前
西门浩宇完成签到 ,获得积分10
3秒前
5秒前
5秒前
6秒前
习月阳完成签到,获得积分10
6秒前
多托郭完成签到 ,获得积分10
7秒前
琥珀主完成签到,获得积分20
8秒前
绾妤完成签到 ,获得积分10
9秒前
10秒前
琥珀主发布了新的文献求助10
11秒前
落寞飞烟完成签到,获得积分10
11秒前
ZM完成签到 ,获得积分10
12秒前
完美世界应助Masche采纳,获得30
13秒前
14秒前
JamesPei应助zongrending采纳,获得10
15秒前
Cala洛~完成签到 ,获得积分10
17秒前
Zxc发布了新的文献求助10
19秒前
qcy72完成签到,获得积分10
20秒前
丘比特应助zhuzhezhe采纳,获得10
20秒前
22秒前
你还睡得着完成签到 ,获得积分10
23秒前
年轻的醉冬完成签到 ,获得积分10
23秒前
阿治完成签到 ,获得积分0
23秒前
DD完成签到 ,获得积分10
25秒前
zongrending发布了新的文献求助10
27秒前
hzc完成签到,获得积分0
28秒前
酷波er应助有热心愿意采纳,获得10
29秒前
30秒前
HJJHJH发布了新的文献求助20
33秒前
小叶完成签到 ,获得积分10
36秒前
哇塞完成签到 ,获得积分10
36秒前
一一一多完成签到 ,获得积分10
36秒前
彭于晏应助NINI采纳,获得10
38秒前
大学生完成签到 ,获得积分10
38秒前
高分求助中
Continuum thermodynamics and material modelling 3000
Production Logging: Theoretical and Interpretive Elements 2500
Healthcare Finance: Modern Financial Analysis for Accelerating Biomedical Innovation 2000
Applications of Emerging Nanomaterials and Nanotechnology 1111
Covalent Organic Frameworks 1000
Les Mantodea de Guyane Insecta, Polyneoptera 1000
Theory of Block Polymer Self-Assembly 750
热门求助领域 (近24小时)
化学 医学 材料科学 生物 工程类 有机化学 生物化学 纳米技术 内科学 物理 化学工程 计算机科学 复合材料 基因 遗传学 物理化学 催化作用 细胞生物学 免疫学 电极
热门帖子
关注 科研通微信公众号,转发送积分 3477379
求助须知:如何正确求助?哪些是违规求助? 3068812
关于积分的说明 9109727
捐赠科研通 2760297
什么是DOI,文献DOI怎么找? 1514760
邀请新用户注册赠送积分活动 700461
科研通“疑难数据库(出版商)”最低求助积分说明 699566