订阅小程序

旧版功能

立即登录

学术主页个人账号

我的关注论文收藏浏览历史

SMPT: A Testbed for Reachability Methods in Generalized Petri Nets

Nicolas Amat,Silvano Dal Zilio

FORMAL METHODS, FM 2023（2023）

引用 5|浏览11

关键词

Model checking,Reachability problem,Petri nets

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要