...
机译:彩色Petri网和CPN工具,用于并发系统的建模和验证
Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, 8200 Aarhus N, Denmark;
coloured petri nets; discrete-event systems; behavioural modelling; validation; simulation; verification; state space methods; model checking; performance analysis; visualisation;
机译:集成集成定义语言0(IDEF)和有色Petri网(CPN)建模和仿真工具:模具制造过程的研究
机译:具有可变结构的临时着色Petri网(CPN-CS),用于动态生产系统的性能建模
机译:Petri Nets:使用软件CPN工具通过钛注射系统模型和其他粉碎成高炉的粉末对其性能进行分析
机译:MBT / CPN:使用有色Petri网的基于模型的分布式系统协议软件测试工具
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:彩色Petri网用于生物系统的多层次多尺度和多维建模
机译:并行系统建模和验证的彩色Petri网和CPN工具
机译:用有色petri网建模环境系统。