随机Petri网聚合和分解的精确结果| IEEE会议出版物| IEEE Xplore