SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
🔥【活动通知】：科研通第二届『应助活动周』重磅启航，3月24-30日求助秒级响应🚀，千元现金等你拿。这个春天，让互助之光璀璨绽放！
查看详情
Verification of current-state opacity and opaque time for labeled time Petri net systems
不透明度
Petri网
国家（计算机科学）
计算机科学
电流（流体）
算法
工程类
物理
电气工程
光学
作者
Yuting Wang,
Liang Li,
Zhiwu Li
出处
期刊：
Automatica
[Elsevier]
日期：2025-03-09
卷期号：176: 112241-112241
标识
DOI：10.1016/j.automatica.2025.112241
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
活动
『应助活动周』即将开启 🔥
(2025-3-20)
更新
『即时热点』模块已上线
(2025-2-28)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
畜牧笑笑
的
应助
被
年轻的凡雁
采纳，获得
10
1秒前
小惠子同学
发布了新的
文献求助
10
1秒前
科研通AI5
的
应助
被
高贵水壶
采纳，获得
150
1秒前
的速度
完成签到，获得积分
10
1秒前
科研小辣鸡
完成签到，获得积分
20
2秒前
yyds
上传了
应助文件
2秒前
明芬
发布了新的
文献求助
10
2秒前
田様
上传了
应助文件
3秒前
善学以致用
上传了
应助文件
4秒前
YIWENNN
完成签到，获得积分
10
4秒前
zhao
发布了新的
文献求助
10
5秒前
爆米花
的
应助
被
个性醉波
采纳，获得
10
5秒前
重要念蕾
发布了新的
文献求助
10
6秒前
RUSH
发布了新的
文献求助
10
6秒前
英姑
的
应助
被
活泼浩然
采纳，获得
10
6秒前
希望天下0贩的0
的
应助
被
健忘的飞雪
采纳，获得
10
8秒前
阮土土
上传了
应助文件
8秒前
学呀学
发布了新的
文献求助
10
9秒前
高贵水壶
完成签到，获得积分
10
9秒前
清风白鹭
发布了新的
文献求助
10
9秒前
amino
完成签到，获得积分
10
9秒前
小h
完成签到，获得积分
10
10秒前
香蕉觅云
上传了
应助文件
10秒前
狂野猕猴桃
完成签到
，获得积分
10
11秒前
希望天下0贩的0
的
应助
被
务实大神
采纳，获得
10
11秒前
虚幻的安柏
发布了新的
文献求助
10
11秒前
无花果
上传了
应助文件
12秒前
芳芳
的
应助
被
理想
采纳，获得
60
13秒前
SK
完成签到，获得积分
20
13秒前
原野
发布了新的
文献求助
10
14秒前
传奇3
的
应助
被
无私的碧菡
采纳，获得
10
14秒前
慕青
的
应助
被
RUSH
采纳，获得
10
15秒前
kawing
完成签到，获得积分
10
16秒前
阳尧
关闭了
阳尧
的
文献求助
18秒前
香蕉觅云
的
应助
被
番茄酱
采纳，获得
10
18秒前
科研通AI5
的
应助
被
SK
采纳，获得
10
18秒前
希望天下0贩的0
上传了
应助文件
18秒前
Selanchole
完成签到，获得积分
20
19秒前
小乔
发布了新的
文献求助
10
19秒前
Simon
完成签到
，获得积分
10
19秒前
高分求助中
Continuum Thermodynamics and Material Modelling
3000
Production Logging: Theoretical and Interpretive Elements
2700
Structural Load Modelling and Combination for Performance and Safety Evaluation
1000
Teaching language in context (3rd edition) by Derewianka, Beverly; Jones, Pauline
610
Generative Machine Learning Models in Medical Image Computing
590
Barth, Derrida and the Language of Theology
500
2024-2030年中国聚异戊二烯橡胶行业市场现状调查及发展前景研判报告
500
热门求助领域
（近24小时）
化学
材料科学
生物
医学
工程类
有机化学
生物化学
物理
纳米技术
计算机科学
内科学
化学工程
复合材料
基因
遗传学
物理化学
催化作用
量子力学
光电子学
冶金
热门帖子
关注
科研通微信公众号，转发送积分
3599977
求助须知：如何正确求助？哪些是违规求助？
3168664
关于积分的说明
9558804
捐赠科研通
2875092
什么是DOI，文献DOI怎么找？
1578511
邀请新用户注册赠送积分活动
742183
科研通“疑难数据库（出版商）”最低求助积分说明
725071
今日热心研友
科研小民工
180
8690
SYLH
390
4850
小透明
169
4359
nozero
119
2610
温暖的涵易
68
1750
昏睡的蟠桃
47
1700
天才小能喵
131
830
迟大猫
53
1580
阮土土
86
1210
8R60d8
109
970
S77
115
820
pluto
83
1060
36456657
83
970
BenchYang
61
870
猪猪hero
70
640
cdercder
49
800
木头马尾
45
770
爱静静
930
Hungrylunch
880
劲秉
880
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
科研小民工
SYLH
小透明
nozero
温暖的涵易
昏睡的蟠桃
天才小能喵
迟大猫
阮土土
8R60d8
S77
pluto
36456657
BenchYang
猪猪hero
cdercder
木头马尾
爱静静
Hungrylunch
劲秉
皖公网安备34019202002308
