基于Petri网的顺序资源分配系统活性的一个性质.pdfVIP

第 卷 第 期 计 算 机 科 学 ３８ ４ Ｖｏｌ．３８Ｎｏ．４ 　 年 月 ２０１１ ４ Ｃｏｍ ｕｔｅｒ Ｓｃｉｅｎｃｅ Ａ ｒ２０１１ 　 　 ｐ ｐ 基于 网的顺序 资源分 配 系统活性的 一个性质 Ｐｅｔｒｉ 岳 昊 　 （ ） 漳 州 师范学院计算机科学与工程 系 漳 州 ３６３０００ 　 　 摘 要 具有 多资 源 需求和柔性加 工路 径 的顺序 资 源分 配 系统（ ＳｅｕｅｎｔｉａｌＲｅｓｏｕｒｃｅＡｌｌｏｃａｔｉｏｎＳ ｓｔｅｍｓｗｉｔｈＭｕｌｔｉ ｌｅ 　 　 ｑ 　 　 　 ｙ 　 　 ｐ ， ／ ） 、 。 ＲｅｓｏｕｒｃｅＡｃ ｕｉｓｉｔｉｏｎｓａｎｄＦｌｅｘｉｂｌｅＲｏｕｔｉｎ ｓＣ Ｄ ＲＡＳ 是一类 较 复 杂 的 更 为 一 般 的 资 源分 配 系 统 考 察 了两 个 与 　 ｑ 　 　 　 ｇ － ／ 密切相关的活性 问题 。借 助 这 两 个 ／ 的 网模 型 来 定 义标 识 ３ ２ 网 对（（ ， ），（ ， Ｃ Ｄ ＲＡＳ Ｃ Ｄ ＲＡＳ Ｐｅｔｒｉ ＳＰＧＲ Ｎ Ｍ Ｎ － － １ ０１ ２ ））， ３ ２ 、 ， （ ， ） （ ， ） Ｍ 由标识 ＳＰＧＲ 网 中资 源种 类 数 量 的 守恒性 和 变迁使 能 的一个 充分 必要 条 件 证 明 Ｎ Ｍ 和 Ｎ Ｍ 的 ０２ １ ０１ ２ ０２ ， （ ， ） （ ， ） 。 ， 合法 变迁发 生序 列是一 致 的 据此得 出的最 终 结论是 Ｎ Ｍ 和 Ｎ Ｍ