机译:酶促竞争:定时混合Petri网的建模和验证
Metamorphosis; Verification; Timed hybrid petri nets; Model checking;
机译:酶促竞争:定时混合Petri网的建模和验证
机译:混合动力系统的多奇异混合Petri网建模与验证
机译:使用时间Petri网对与时间相关的系统进行建模和验证
机译:用定时杂交培养网验证生物模型
机译:使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:酶竞争:定时混合petri网的建模与验证