机译:具有过程的并行编程语言的组合高级Petri网语义
机译:用于高效建模逻辑或的新型高级Petri网:彩色AND / OR Petri网(CARPN)
机译:贝叶斯网络语义为培养网
机译:B(PN)/ SUP 2 /带有程序的Petri净语义
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:Pepn-Grn:一种基于PETRI网络的基因净途径从嘈杂的基因表达数据推动基因监管网络
机译:具有过程的并行编程语言的组合高级Petri网语义
机译:改进petri网(mpNs)的可维护性设计:船载推进系统应用