您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. Reachability analysis of logic Petri nets using incidence matrix

  2. Logic Petri nets (LPNs) can simplify the net-structure and mitigate the problem of state space explosion. To directly nvestigate the properties of LPNs, a new analysis method of LPNs is introduced in this paper based on incidence matrix.The enabled c
  3. 所属分类:其它

    • 发布日期:2021-02-09
    • 文件大小:714752
    • 提供者:weixin_38500090