Pu F, Lu W M.Preservation of liveness and deadlock-freeness.in synchronous synthesis of Petri net systems[J].Chinese Journal of Software, 2003, 14(12): 1977- 1988 (in Chinese).
英
美
释义
[7]蒲飞;陆维明.;同步合成Petri网系统活性与无死锁性的保持性[J]
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载