导出
  • 排序
  • 显示
1. Introduction to the special section on Quality, Reliability and Resilience in Hybrid Information Systems SCIE 期刊论文

作者:Liu, S;Li, ZJ;Cheng, XC

作者全称:Liu, Shuai;Li, Zhaojun;Cheng, Xiaochun

作者机构:[Liu, Shuai] Inner Mongolia Univ, Coll Comp Sci, Hohhot, Peoples R China.;[Liu, Shuai] Inner Mongolia Key Lab Social Comp & Data Proc, Hohhot, Peoples 更多

通讯作者地址:Liu, S (reprint author), Inner Mongolia Univ, Coll Comp Sci, Hohhot, Peoples R China.; Liu, S (reprint author), Inner Mongolia Key Lab Social Comp & Data Proc, Hohhot, Peoples R China.

来源:COMPUTERS & ELECTRICAL ENGINEERING,2018,Vol.70

基金:National Natural Science Foundation of China [61502254]; Program for Young Talents of Science and Technology in Universities of Inner Mongolia Autonomous Region [NJYT-18-B10]

2. Introduction to the Special Section on Heterogeneous Computing Era EI SCIE SCOPUS 期刊论文

作者:Zheng, ZG;Wen, JM;Liu, S

作者全称:Zheng, Zhigao;Wen, Jinming;Liu, Shuai

作者机构:[Zheng, Zhigao] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan, Peoples R China.;[Zheng, Zhigao] Cent China Normal Univ, Collaborat & Inn 更多

第一作者:Zheng, Zhigao

通讯作者:Zheng, ZG

通讯作者地址:Zheng, ZG (reprint author), Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan, Peoples R China.; Zheng, ZG (reprint author), Cent China Normal Univ, Collaborat & Innovat Ctr Educ Technol, Wuhan, Peoples R China.

来源:COMPUTERS & ELECTRICAL ENGINEERING,2017,Vol.60

基金:National Natural Science Foundation of China [61502254, 71471119, 71601125,]; Development Program for Distinguished Young Teachers in Higher Education of Guangdong Province [Yq2013147]

JCR分区:COMPUTER SCIENCE, HARDWARE & ARCHITECTURE为Q2;COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS为Q3;ENGINEERING, ELECTRICAL & ELECTRONIC为Q3

中科院分区:大类工程技术4区;小类计算机:硬件4区;小类计算机:跨学科应用4区;小类工程:电子与电气4区

(JCR)当年影响因子:1.747

(JCR)5年影响因子:1.781

ESI学科:COMPUTER SCIENCE

摘要:[无可用摘要]

3. On reachability graphs of Petri nets EI SCIE SCOPUS 期刊论文

作者:Ye, XM;Zhou, HT;Song, XY

作者全称:Ye, XM;Zhou, HT;Song, XY

作者机构:[Ye, XM; Zhou, HT; Song, XY]Portland State Univ, Dept ECE, Portland, OR 97207 USA., Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R 更多

第一署名单位:[Ye, XM; Zhou, HT; Song, XY]Portland State Univ, Dept ECE, Portland, OR 97207 USA., Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.

第一作者:Ye, XM

通讯作者:Song, X.(song@ee.pdx.edu)

通讯作者地址:Song, XY (reprint author), Portland State Univ, Dept ECE, POB 751, Portland, OR 97207 USA.

来源:COMPUTERS & ELECTRICAL ENGINEERING,2003,Vol.29,Issue.2

JCR分区:COMPUTER SCIENCE, HARDWARE & ARCHITECTURE为Q2;COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS为Q3;ENGINEERING, ELECTRICAL & ELECTRONIC为Q3

中科院分区:大类工程技术4区;小类计算机:硬件4区;小类计算机:跨学科应用4区;小类工程:电子与电气4区

(JCR)当年影响因子:1.747

(JCR)5年影响因子:1.781

WOS被引频次:14

SCOPUS被引频次:21

ESI学科:COMPUTER SCIENCE

关键词:Petri net; reachability tree; reachability graph; safeness; boundedness;; conservation; liveness; reachability; coverability

摘要:Petri net is a powerful tool for system analysis and design. Several techniques have been developed for the analysis of Petri nets, such as reachabili 更多

更新时间:Mar 28, 2019
TOP