...
机译:基于Petri网表示的嵌入式系统共享综合的活泼性和有界性保留。
Shandong Jianzhu Univ, Sch Comp Sci & Technol, Jinan 250101, Shandong, Peoples R China;
Petri nets; synthesis; liveness; property preservation; modeling;
机译:基于嵌入式系统的Petri综合网的物业保存
机译:基于嵌入式系统的Petri综合网的物业保存
机译:基于嵌入式系统的Petri综合网的物业保存
机译:嵌入式系统Petri细化网代表的物业保存
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:经颈静脉肝内门-系统分流术对肝移植后结局的影响:基于美国器官共享网络数据库的研究
机译:基于嵌入式系统的基于抑制剂的Petri网的减少规则