多出口Petri网及Petri网的等价性.pdf

年 月 计 算 机 学 报 第 期 多 出 口 奋 网与 网的等价性 郝充 刚 段 振华 西 北 大 学 一 , , 。 , , , ‘ 引言 , , 口 , , 为 了便于描述程序 的控制 结构 文 〔 引人 了多 出 网 的概念 并指 出 在 一定 意 义 下 , 多 出 口 乒 网与一般 网是 等价 的 本 文 旨在从理论上讨 论这两个 念 的等价 , 给 出 的证 明 概 性 并 严格 网和 多 出 口 网 般 网 和它 的 记 拌 定 义 同 〔〕 图 , 多 出 口 网 义 一 标 的 文 参 定 如 下 图 图 国家 自然科学基金资助课题 本文 年 月 日收到 计 算 机 学 报 年 定义 一个多 出 口 网是一 个 二 元 组 一 印, , 其 中, , , , ‘ · 【 , , , , 犷 , , , , 二 是位子集 每个位子 有 》 个 出 口 每个 出 口 , 是从 ,