机译:无限Petri网:第1部分,建模正方形网格结构
Vistula University Warsaw, Poland;
Ershov Institute of Informatics Systems Novosibirsk, Russia;
National Academy of Telecommunications Odessa, Ukraine;
机译:无限Petri网:第2部分,建模三角形,六角形,超立方体和Hypertorus结构
机译:用无穷Petri网验证六角形通信网格
机译:通过无穷Petri网和过程代数验证Hypertorus通信网格
机译:将二维网格有色Petri网模型转换为无穷Petri网,反之亦然
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:柔性二维方格配位聚合物:结构和功能
机译:无限培养网验证三角通信网格协议