机译:基于Petri网的分布式对象监督控制的建模与综合。一,互动机制与基本方法
机译:Petri网上用于分布式对象的监督控制的建模和综合。二。一组通用形式序列的主管综合方法
机译:使用面向对象的Petri网对并发和分布式应用程序进行建模,原型设计和验证
机译:朝向对象Petri网模型,用于指定和转化分布式信息系统
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:基于对象的高级petri网作为分布式信息系统的形式化方法
机译:使用随机高级petri网建模并行和分布式系统中的硬件 - 软件交互。