机译:由Petri网建模的具有未知输入和离散动力学的线性混合系统的可观测性。
机译:基于批次确定性和随机Petri网的库存系统建模与性能评估。
机译:使用广义随机Petri网对公共交通系统进行建模,性能评估和规划
机译:批次确定性和随机Petri网。供应链建模和绩效评估工具
机译:用Petri网验证并发系统的有效方法。
机译:利用随机Petri网对分子生物学中的随机系统进行定量建模
机译:高速网络中的性能和安全性折衷。基于排队网络和广义随机Petri网的定量分析和实验,研究了高速网络的性能,安全性建模和评估。