机构

• 数学与系统科学研究... [20]
• 软件研究所 [10]
• 高能物理研究所 [1]
• 自动化研究所 [1]

采集方式

• OAI收割 [32]

内容类型

• 期刊论文 [30]
• 会议论文 [2]

发表日期

• 2021 [1]
• 2011 [1]
• 2008 [1]
• 2007 [9]
• 2006 [11]
• 2005 [8]
• 更多

学科主题

筛选

浏览/检索结果: 共32条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 4, 页码: 905-915 作者:  Chuanliang Xia;  Chengdong Li   |  收藏  |   structural property analysis of a kind of petri net synthesis 会议论文  OAI收割 2011 International Conference on Civil Engineering and Building Materials, CEBM 2011, Kunming, China, July 29, 2 Xia Chuanliang; Liu Zhendong; Sun Peng   |  收藏  |   property preservation by petri-net-based refinements in system design 会议论文  OAI收割 9th International Conference for Young Computer Scientists, Zhangjiajie, PEOPLES R CHINA, NOV 18-21, Xia Chuanliang 收藏  |   非对称选择网类共享子网合成及其在系统建模中的应用 期刊论文  OAI收割 计算机科学, 2007, 卷号: 34, 期号: 6, 页码: 274-278,288 夏传良 收藏  |   Petri网共享T型子网合成活性分析 期刊论文  OAI收割 系统仿真学报, 2007, 期号: S1, 页码: 4-8,37 夏传良 收藏  |   Petri网共享T型子网合成公平性分析 期刊论文  OAI收割 计算机科学, 2007, 卷号: 34, 期号: 8, 页码: 271-274 夏传良 收藏  |   Petri网共享P型子网合成及其在系统设计中的应用 期刊论文  OAI收割 系统仿真学报, 2007, 卷号: 19, 期号: 2, 页码: 355-360,404 夏传良; 鞠彦兵; 李盛恩 收藏  |   Petri网共享PP-型子网合成性质分析 期刊论文  OAI收割 软件学报, 2007, 卷号: 18, 期号: 1 夏传良; 焦莉; 陆维明   |  收藏  |   Petri网共享PP-型子网合成性质分析 期刊论文  OAI收割 软件学报, 2007, 卷号: 018, 期号: 001, 页码: 22 作者:  夏传良;  焦莉;  陆维明   |  收藏  |   Petri网共享T型子网合成结构性质分析及其应用 期刊论文  OAI收割 计算机科学, 2007, 卷号: 034, 期号: 003, 页码: 240 作者:  夏传良   |  收藏  |