山口 弘純,岡野 浩三,東野 輝夫,谷口 健一: "レジスタを持つペトリネットで記述された分散システムの要求仕様から各ノードの動作仕様の導出" 情報処理学会研究会報告. 94-OS-64 94-DPS-65. 157-162 (1994)
山口 弘純,岡野 浩三,東野 輝夫,谷口 健一: "レジスタを持つペトリネットで記述された分散システムの要求仕様から各ノードの動作仕様の導出" 情報処理学会研究会報告. 94-OS-64 94-DPS-65. 157-162 (1994)
复制标题
Hirozumi Yamaguchi、Kozo Okano、Teruo Higashino、Kenichi Taniguchi：“从带有寄存器的 Petri 网描述的分布式系统的需求规范中导出每个节点的操作规范”日本信息处理协会研究小组报告 94-OS-64。 94-DPS-65。157-162（1994）
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
