Reduction rules for Petri Net based representation for embedded systems

doi:10.3778/j.issn.1673-9418.2008.06.005

Journal of Frontiers of Computer Science and Technology ›› 2008, Vol. 2 ›› Issue (6): 614-626.DOI: 10.3778/j.issn.1673-9418.2008.06.005

• 学术研究 • Previous Articles Next Articles

Reduction rules for Petri Net based representation for embedded systems

XIA Chuanliang^1,2+

1. School of Computer Science and Technology， Shandong Jianzhu University， Jinan 250101， China
2. State Key Laboratory for Computer Science， Institute of Software， Chinese Academy of Sciences， Beijing 100190， China

Received:1900-01-01 Revised:1900-01-01 Online:2008-12-06 Published:2008-12-06
Contact: XIA Chuanliang

基于Petri网表示的嵌入式系统模型化简规则

夏传良^1,2+

1. 山东建筑大学计算机学院，济南 250101
2. 中国科学院软件研究所计算机科学国家重点实验室，北京 100190

通讯作者: 夏传良

Abstract

Abstract: The research concentrates on the aspects related to reduction rules for Petri Net based Representation for Embedded Systems （PRES+）. The major motivation of this work is to give correctness-preservation transformations to improve the verification efficiency. It proposes a set of reduction rules to reduce PRES+ nets to the equivalent reduced PRES+ nets. Reductions for two system models demonstrate the efficiency of this reduction rules on practical applications.

Key words: reduction rules, Petri Nets, total-equivalence, property preservation, embedded system

摘要： 为了提高基于Petri网表示的嵌入式模型（PRES+）验证的效率，对模型进行了保性变换，给出了一组关于PRES+模型的化简规则，这些化简规则在原模型和简化模型之间保持完全等价关系。对两个系统模型的化简结果进一步说明了这些化简规则的有效性。

关键词: 化简规则, Petri网, 完全等价, 保性, 嵌入式系统

XIA Chuanliang^1,2+. Reduction rules for Petri Net based representation for embedded systems[J]. Journal of Frontiers of Computer Science and Technology, 2008, 2(6): 614-626.

夏传良1,2+ . 基于Petri网表示的嵌入式系统模型化简规则[J]. 计算机科学与探索, 2008, 2(6): 614-626.

[1]	ZHOU Guangrui, XU Shulin, GUO Yiyun, LU Faming, YUE Hao. Estimation of Least-Cost Planning Sequence for Labeled Petri Nets [J]. Journal of Frontiers of Computer Science and Technology, 2021, 15(7): 1350-1358.
[2]	GE Hongmei, XU Chao, HE Yanxiang. Code Reliability Enhancement Method Based on Compiler Front-End Analysis Automatic Component [J]. Journal of Frontiers of Computer Science and Technology, 2018, 12(7): 1100-1108.
[3]	SUN Xiaoling. Bidirectional Fuzzy Fault Reasoning Algorithm of Intuitionistic Fuzzy Petri Net [J]. Journal of Frontiers of Computer Science and Technology, 2017, 11(6): 1006-1013.
[4]	WU Zhipeng, HU Jun, CHEN Song, SHI Jiaojie. Safety Verification Methodology of Embedded System Based on AltaRica Model [J]. Journal of Frontiers of Computer Science and Technology, 2017, 11(1): 24-36.
[5]	ZHAO Fang, FANG Xianwen, FANG Huan. Analysis Method of the Smallest Change Region with Dynamic Slice of Petri Nets [J]. Journal of Frontiers of Computer Science and Technology, 2016, 10(4): 516-523.
[6]	CHEN Yuanjun, SHI Junjing, WANG Linzhang, LI Xuandong. Data Race Detection Tool for Interrupt-Driven Embedded System [J]. Journal of Frontiers of Computer Science and Technology, 2015, 9(8): 914-925.
[7]	DAI Fei, MO Qi, LIN Leilei, ZHU Rui, LI Tong, XIE Zhongwen. Collaboration Business Process Modeling Based on Petri Nets and Pi Calculus [J]. Journal of Frontiers of Computer Science and Technology, 2015, 9(6): 692-706.
[8]	JIA Lei, LIU Jing, MA Yanlin, YE Xinming. Design and Analysis of Incentive Mechanism?in BitTorrent Protocol [J]. Journal of Frontiers of Computer Science and Technology, 2014, 8(3): 275-287.
[9]	LIU Cuicui, LI Bixin, QI Shanshan, WU Xiaona, SONG Rui. Research on Trust Evaluation for BPEL Composite Services [J]. Journal of Frontiers of Computer Science and Technology, 2013, 7(4): 337-347.
[10]	SI Guannan1,2, YANG Jufeng1,2+, XU Jing1,2. Evolution Evaluating Model for Dependability of Internetware Based on Hierarchical Petri Nets [J]. Journal of Frontiers of Computer Science and Technology, 2012, 6(7): 621-630.
[11]	CAO Guorong⁺, TAN Qingping, WU Hao, XIE Jingang. Semantics and Implementation of the OR-join in Regular Flow Nets [J]. Journal of Frontiers of Computer Science and Technology, 2010, 4(6): 542-551.
[12]	LEI Lihui^1,2, DUAN Zhenhua¹⁺. Modeling and Verifying Composite Web Services Based on Semantic Annotated Petri Nets [J]. Journal of Frontiers of Computer Science and Technology, 2009, 3(2): 173-187.

Reduction rules for Petri Net based representation for embedded systems

基于Petri网表示的嵌入式系统模型化简规则

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 12

Recommended Articles

Metrics