机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。I.规范和设计
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。设计与实施
机译:用于在Petri网模型中执行静态和行为规范的最佳监管器的集成设计
机译:在企业建模设计规范中使用面向对象的Petri网
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:Von Hippel-Lindau(VHL)肿瘤抑制因子相互作用网络的Petri网模型的设计和分析
机译:一种新颖的复杂产品众包设计过程的建模方法,基于对象的Petri网
机译:随机petri网模型求解统一包的设计