机译:借助彩色Petri网对分布式系统消息序列图进行分析和验证
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:在线监测分布式楼宇自动化系统,以通过因果Petri网模型验证公交消息的大序列
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:彩色Petri网用于生物系统的多层次多尺度和多维建模
机译:基于着色petri网的混合规则/框架专家系统验证方法
机译:用有色petri网建模环境系统。