机构

• 软件研究所 [2]
• 数学与系统科学研究院 [1]
• 自动化研究所 [1]

采集方式

• OAI收割 [4]

内容类型

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

发表日期

• 2021 [1]
• 2011 [1]
• 2008 [1]
• 2006 [1]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 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   |  收藏  |  浏览/下载：22/0  |  提交时间：2021/04/09 Modeling  Petri nets  property preservation  subnet  synthesis   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   |  收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08 Building materials  Civil engineering  Construction equipment   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 收藏  |  浏览/下载：84/1  |  提交时间：2011/06/13 Petri nets  refinement  liveness  property preservation  transformation   Analysis of properties of Petri synthesis net 期刊论文  OAI收割 THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 卷号: 3959, 页码: 576-587 作者:  Xia, Chuanliang   |  收藏  |  浏览/下载：27/0  |  提交时间：2018/07/30 Petri nets  analysis  synthesis  liveness and boundedness