×
验证码:
换一张
Forgotten Password?
Stay signed in
China Science and Technology Network Pass Registration
×
China Science and Technology Network Pass Registration
Log In
Chinese
|
English
中国科学院数学与系统科学研究院机构知识库
KMS Of Academy of mathematics and systems sciences, CAS
Log In
Register
ALL
ORCID
Title
Creator
Date Issued
Subject Area
Keyword
Document Type
Source Publication
Date Accessioned
Indexed By
Publisher
Funding Project
MOST Discipline Catalogue
Study Hall
Image search
Paste the image URL
Home
Collections
Authors
DocType
Subjects
K-Map
News
Search in the results
Collection
Authors
Document Type
Journal ar... [4]
Date Issued
2007 [1]
2006 [3]
Language
英语 [3]
中文 [1]
Source Publication
计算机科学 [4]
Funding Project
Indexed By
CSCD [1]
Funding Organization
×
Knowledge Map
CSpace
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
QQ
Weibo
Feedback
Browse/Search Results:
1-4 of 4
Help
Filters
Source Publication：计算机科学
Selected(
0
)
Clear
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Issue Date Ascending
Issue Date Descending
Title Ascending
Title Descending
Journal Impact Factor Ascending
Journal Impact Factor Descending
Submit date Ascending
Submit date Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Author Ascending
Author Descending
Petri网共享T型子网合成结构性质分析及其应用
期刊论文
计算机科学, 2007, 卷号: 034, 期号: 003, 页码: 240
Authors:
夏传良
Favorite
|
View/Download：42/0
|
Submit date：2020/01/10
Petri网的PP型子网精细化操作性质分析及应用
期刊论文
计算机科学, 2006, 卷号: 033, 期号: 002, 页码: 25
Authors:
夏传良
Favorite
|
View/Download：11/0
|
Submit date：2020/01/10
Petri网共享子网合成及其在系统设计中的应用
期刊论文
计算机科学, 2006, 卷号: 033, 期号: 005, 页码: 17
Authors:
夏传良
;
徐进
Favorite
|
View/Download：8/0
|
Submit date：2020/01/10
Petri网化简操作及其在系统验证中的应用
期刊论文
计算机科学, 2006, 卷号: 33.0, 期号: 009, 页码: 235-240
Authors:
夏传良
;
徐进
Favorite
|
View/Download：39/0
|
Submit date：2021/01/14
Petri网
化简操作
活性
有界性
系统验证
柔性制造系统
