离散事件模拟的随机Petri网表示| IEEE期刊和杂志| IEEE Xplore