随机和确定性随机Petri网的设计和识别| IEEE期刊和杂志| IEEE Xplore