首页|期刊导航|高技术通讯（英文版）|Extended and improved slicing technologies for Petri nets

Extended and improved slicing technologies for Petri nets

Yu Wangyang Yan Chungang Ding Zhijun Fang Xianwen

高技术通讯（英文版）2013，Vol.19Issue(1)：98-104,7.

高技术通讯（英文版）2013，Vol.19Issue(1)：98-104,7.DOI:10.3772/j.issn.1006-6748.2013.01.018

Extended and improved slicing technologies for Petri nets

Yu Wangyang ¹Yan Chungang ²Ding Zhijun ³Fang Xianwen³

作者信息

1. Department of Computer Science and Technology, Tongji University, Shanghai 201804, P.R.China
2. Key Lab of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai 201804, P.R.China
折叠

摘要

关键词

Petri nets/slice/model reduction/local reachability graph

Key words

Petri nets/slice/model reduction/local reachability graph

引用本文复制引用

Yu Wangyang,Yan Chungang,Ding Zhijun,Fang Xianwen..Extended and improved slicing technologies for Petri nets[J].高技术通讯（英文版）,2013,19(1):98-104,7.

基金项目

Supported by the National Natural Science Foundation of China (No.90818023),the National Basic Research Program of China (No.2010CB328101),Shanghai Science & Technology Research Plan (No.09JC1414200,09510701300),"Dawn" Program of Shanghai Education Commission,Program for Changjiang Scholars and Innovative Research Team in University (PCSIRT),National Major Projects of Science and Technology (No.2009ZX01036-001-002:part 5),Natural Science Foundation of Educational Government of Anhui Province (No.KJ2011A086). （No.90818023）

高技术通讯（英文版）

OAEI

ISSN：1006-6748

访问量0

下载量0

段落导航