随机离散事件系统的概率语言形式|IEEE期刊和杂志|IEEE Xplore