| Yu Wangyang (于汪洋),Yan Chungang,Ding Zhijun,Fang Xianwen.[J].高技术通讯(英文),2013,19(1):98~104 |
|
| Extended and improved slicing technologies for Petri nets |
| |
| DOI： |
| 中文关键词: |
| 英文关键词: Petri nets, slice, model reduction, local reachability graph |
| 基金项目: |
| Author Name | Affiliation | | Yu Wangyang (于汪洋) | | | Yan Chungang | | | Ding Zhijun | | | Fang Xianwen | |
|
| Hits: 737 |
| Download times: 0 |
| 中文摘要: |
| |
| 英文摘要: |
| Petri net is an important tool to model and analyze concurrent systems, but Petri net models are frequently large and complex, and difficult to understand and modify. Slicing is a technique to remove unnecessary parts with respect to a criterion for analyzing programs, and has been widely used in specification level for model reduction, but researches on slicing of Petri nets are still limited. According to the idea of program slicing, this paper extends slicing technologies of Petri nets to four kinds of slices, including backward static slice, backward dynamic slice, forward static slice and forward dynamic slice. Based on the structure properties, the algorithms of obtaining two kinds of static slice are constructed. Then, a new method of slicing backward dynamic slice is proposed based on local reachability graph which can locally reflect the dynamic properties of Petri nets. At last, forward dynamic slice can be obtained through the reachability marking graph under a special marking. The algorithms can be used to reduce the size of Petri net, which can provide the basic technical support for simplifying the complexity of formal verification and analysis. |
|
View Full Text
View/Add Comment Download reader |
| Close |
|
|
|
