College of Science and Technology, NIHON University, Japan;
distributed technology; railway interlocking system; G-nets; retri net;
机译:基于Petri网的基于组件的分布式铁路联锁系统建模与分析
机译:基于Petri网的基于组件的分布式铁路联锁系统建模与评估
机译:使用面向对象的Petri网对并发和分布式应用程序进行建模,原型设计和验证
机译:使用面向对象的Petri网对分布式铁路联锁系统进行建模
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:使用彩色Petri网对铁路联锁表进行建模
机译:使用随机高级petri网建模并行和分布式系统中的硬件 - 软件交互。