位置:成果数据库 > 期刊 > 期刊详情页
Property analysis of logic Petri nets by marking reachability graphs
  • ISSN号:0254-4164
  • 期刊名称:《计算机学报》
  • 时间:0
  • 分类:TP393[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术] N02[自然科学总论—科学技术哲学]
  • 作者机构:College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China
  • 相关基金:This work is supported by the National Basic Research Program of China (2010CB328101); the National Natural Science Foundation of China (Grant Nos. 61170078 and 61173042); the Doctoral Program of Higher Education of the Specialized Research Fund of China (20113718110004); Basic Research Program of Qingdao City of China (13- 1-4-116-jch); and the SDUST Research Fund of China (2011KYTD 102).
中文摘要:

Yuyue Du Shandong 1982, his received his BS degree from University, Jinan, China in MS degree from Nanjing University of Aeronautics and Astronautics, Nanjing, China in 1991, and his PhD degree in computer applications from Tongji University, Shanghai, China in 2003. He is currently a profes- sor in the College of Information Sci-ence and Engineering, Shandong University of Science and Technology, Qingdao, China. He is a member of the Professional Committee of Petri Nets of the China Computer Federation. His research interests are in formal engineering, Petri nets, real-time systems, Web services, and workflows. He has taken in over ten projects sup- ported by the National Natural Science Foundation of China, Na- tional Key Basic Research Developing Program of China, and other important and key projects at provincial levels. He has published more than 140 papers in domestic and international academic publications, with more than 80 SCI and EI citations, and a total of more than 270 citations. Yuhui Ning received his BSc degree and MSc degree in computer science and technology from Shandong University of Science and Technology, Qingdao, China in 2005 and 2008, respectively. He is currently a PhD candi- date in computer software and theory in the College of Information Science and Engineering, Shandong University of Science and technology, Qingdao, China. His research interests include Petri nets, Web services, and workflow theory.E-mail: ningyuhui@ 163.com

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编:孙凝晖
  • 地址:北京中关村科学院南路6号
  • 邮编:100190
  • 邮箱:cjc@ict.ac.cn
  • 电话:010-62620695
  • 国际标准刊号:ISSN:0254-4164
  • 国内统一刊号:ISSN:11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论(网络版),荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:48433