机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:基于Petri网和SDG图的城市轨道塞门系统建模与分析
机译:使用案例图,PETRI网络和IDEF0图之间的相互关系进行有效的图系统分析
机译:将核心方案模型和活动图转换为Petri网。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:基于Petri网和SDG图的城市轨道插头门系统建模与分析
机译:利用影响图和有色petri网进行军事信息作战分析