logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
B

Bernard Berthomieu

xidian university

19H指数
84论文数
2.7K被引数
收录论文 4
发表时间
logo
Siphon-Based Divide-and-Conquer Policy for Enforcing Liveness on Petri Net Models of FMS Suffering from Deadlocks or Livelocks基于虹吸的划分与征服策略，用于在存在死锁或活锁的FMS Petri网模型中强制实施活性
errCMC-Computers Materials & Continua
IF1.7
err2026-01-01
err0
PREAI
errUzam, Murat; Berthomieu, Bernard; Wei, Wei; Chen, Yufeng; El-Meligy, Mohammed; Sharaf, Mohamed Abdel Fattah
err分享
err收藏
On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA
errIEEE ACCESS
IF3.6
err2024-01-01
err0
errOAAI
errUzam, Murat; Liu, Ding; Berthomieu, Bernard; Gelen, Gokhan; Zhang, Zhaolong; Mostafa, Almetwally M.; Li, Zhiwu
err分享
err收藏
Verifying parallel dataflow transformations with model checking and its application to FPGAs用模型检查验证并行数据流转换及其在fpga中的应用
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2019-12-01
err5
errOAAI
errStewart, Robert; Berthomieu, Bernard; Garcia, Paulo; Ibrahim, Idris; Michaelson, Greg; Wallace, Andrew
err分享
err收藏
The tool TINA - Construction of abstract state spaces for Petri nets and Time Petri
errINTERNATIONAL JOURNAL OF PRODUCTION RESEARCH
IF7.3
err2007-02-21
err198
PREAI
errBerthomieu, B; Ribet, PO; Vernadat, F
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Z
Zhiwu Li
H 指数: 78 · 论文数: 935
A
Andrew Wallace
H 指数: 43 · 论文数: 421
F
François Vernadat
H 指数: 40 · 论文数: 254
M
Mohamed Sharaf
H 指数: 27 · 论文数: 194
Y
Yufeng Chen
H 指数: 25 · 论文数: 233
查看更多