研究论文
Verification of current-state opacity and opaque time for labeled time Petri net systems
Yuting Wang, Liang Li, Zhiwu Li
Wuhan University of Science and Technology Macau University of Science and Technology
来源Automatica
年份2025
阅读操作
确认中在文库中上传 PDF 后可生成中文音频讲解。
摘要与影响
摘要 · 节选
暂未获取摘要。可打开原文或 PDF，后续可基于全文生成更完整的速读。
逐年被引趋势
210
225
26
关键指标
4
被引次数 · OpenAlex
2.74
领域内被引倍数
同类平均 = 1
同类平均 = 1
前 10%
引用位次
同领域 · 同年份 · 同类型
同领域 · 同年份 · 同类型
38
参考文献
Google Scholar 与 OpenAlex 的被引统计范围不同，数值存在差异属正常。
AI 辅助阅读
依据：文献信息
论文问答
当前基于文献信息回答
可就本文提问；依据不足时会说明。
学术脉络
学科主题
计算机 / AIPetri Nets in System Modeling
Formal Methods in Verification · Real-Time Systems Scheduling
参考文献 38
Using Unification For Opacity Properties
被引 154Laurent Mazaré · 2004
Control of Discrete-Event Systems : Automata and Petri Net Perspectives
被引 87Carla Seatzu, Manuel Silva, Jan van Schuppen · International Linear Collider · 2013
Probabilistic analysis of an anonymity system
被引 98Vitaly Shmatikov · Journal of Computer Security · 2004
此处列出前 3 条
引用本文 4
Adaptive NN Observer-Based Synthesize Strategy for Connected Nonlinear System
被引 13Meng Li, Yong Chen, Meng Zhang · IEEE Transactions on Automation Science and Engineering · 2025
Recent Advances in Fault Diagnosis and Opacity Analysis in Discrete Event Systems
被引 0Agostino Marcello Mangini, Ruotian Liu, Wei Duan · Sensors · 2026
Detection of Actuator Enablement Attacks by Time Petri Nets in Supervisory Control
被引 0Zhenhua Yu, Yifei Jia, Xuya Cong · Transactions of the Institute of Measurement and Control · 2026
按被引量排序，此处列出前 3 条