Supported by the National Natural Science Foundation of China under Grant Nos.60303025, 60673017 (国家自然科学基金); the Jiangsu Provincial NSF Research Funds under Grant Nos.BK2004411, BK2005208 (江苏省基础研究计划)
宋巍,窦万春,刘茜萍.时间约束Petri网及其可调度性分析与验证.软件学报,2007,18(1):11-21
复制