机译:高级Petri网中控制和数据流的分离:将双流网转换为对象Petri网
机译:通过扩展的随机高级评估Petri网对产品开发过程进行建模,调度和仿真
机译:用于高效建模逻辑或的新型高级Petri网:彩色AND / OR Petri网(CARPN)
机译:制定高级Petri网的国际标准
机译:使用模糊定时高级Petri网进行协议建模,分析和设计。
机译:使用高级Petri网建模免疫系统反应的方法学方法
机译:抽象Petri网作为高级Petri网的统一方法
机译:多值基因监管网络的高级petri网框架技术文献。系列