Tadashi MATSUMOTO: "An equivalence net-condition between place-liveness and transition-liveness and its initial-marking-based necesssay and syfficient liveness condition of Petri nets" IEEE International Symposium on Circuits and Systems. 1737-1740 (1992)
Tadashi MATSUMOTO: "An equivalence net-condition between place-liveness and transition-liveness and its initial-marking-based necesssay and syfficient liveness condition of Petri nets" IEEE International Symposium on Circuits and Systems. 1737-1740 (1992)
复制标题
Tadashi MATSUMOTO：“地点活跃性和过渡活跃性之间的等价网络条件及其基于初始标记的必要性和 Petri 网的充分活跃性条件”IEEE 国际电路与系统研讨会。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
