使用时间Petri网的比率强制自动化制造系统中的低成本和高性能监管| IEEE期刊和杂志| IEEE Xplore