面向对象代数Petri网

doi:国家自然科学基金资助项目（60273080，6047

吉林大学学报(工学版)

• • Previous Articles Next Articles

Object oriented algebra Petri net

Pan Hong-jun¹，², Sun Ji-gui¹

1.College of Computer Science and Technology, Jilin University, Changchun 130012,China; 2.Department of Computer Science，Tonghua Normal College，Tonghua 134002,China

Received:2005-09-18 Revised:2005-12-04 Online:2006-05-01 Published:2006-05-01
Contact: Sun Jigui

Abstract

Abstract: We present the ObjectOriented Algebraic PetriNets model(OOAPN) based on the achievements in software methodology. OOAPN supports the ObjectOriented concepts, the system analysis and modeling of ObjectOriented software. As a hybrid of algebraic and PetriNets theories and ObjectOriented technology, OOAPN proves to be a effective method in the development of formatting and intelligent software environments, it also enhances the abilities of dynamic modeling of concurrent systems and advanced modeling of complicated systems.

Key words: computer engineering, objectoriented, sort algebra, petri net

CLC Number:

TP311.5

Pan Hong-jun，, Sun Ji-gui. Object oriented algebra Petri net[J].吉林大学学报(工学版), 2006, 36(03): 382-0386.

References

Related Articles 14

[1]	REN Wei-wu, HU Liang, ZHAO Kuo. Intrusion alert correlation model based on data mining and ontology [J]. 吉林大学学报(工学版), 2015, 45(3): 899-906.
[2]	LUO Zhi-yong,YOU Bo,XU Jia-zhong,LIANG Yong. Automatic recognition model of intrusive intention based on three layers attack graph [J]. 吉林大学学报(工学版), 2014, 44(5): 1392-1397.
[3]	NIU Xiao-xia, WU Yan-xia, ZHU Ruo-ping, GU Guo-chang, LIU Hai-bo. Hardware/software partitioning algorithm based on multiple hardware implementation exploration [J]. 吉林大学学报(工学版), 2014, 44(4): 1088-1093.
[4]	KANG Hui, ZHANG Shuang-shuang, MEI Fang. Petri net translation of recursion π-calculus [J]. 吉林大学学报(工学版), 2014, 44(01): 142-148.
[5]	WANG Zhi-jian, HU Yu-ping, CHEN Zhang. Describing component based software system architecture using Petri net [J]. 吉林大学学报(工学版), 2012, 42(增刊1): 304-308.
[6]	WEI Ling-hui\|SHEN Gui-xiang\|ZHANG Ying-zhi\|CHEN Bing-kun\|XUE Yu-xia. Modeling and simulating availability of CNC machine tools [J]. 吉林大学学报(工学版), 2011, 41(4): 993-997.
[7]	ZANG Xue-Bai, ZHAO Hai-Yang, WU Yang, LI Xiong-Fei. Transaction model of grid database [J]. 吉林大学学报(工学版), 2010, 40(06): 1668-1672.
[8]	LIU Yan-Bin, ZHOU Chun-Guang, ZHANG Zhong-Yi, ZHOU Xu, ZHAI Yan-Dong, ZOU Shu-Xue. Resource interlinking of semantic bioinformatics database based on ontology [J]. 吉林大学学报(工学版), 2010, 40(06): 1650-1654.
[9]	Wang Yun-peng, Li Shan-xing, Wang Zhan-zhong, Li Shi-wu, Dong Shengwu, Cui Li-xia . Optimization of production logistics process of automobile manufacture enterprise based on Petri net [J]. 吉林大学学报(工学版), 2008, 38(增刊): 59-0062.
[10]	ZHANG Xiao-wei1，LIU San-yang1，CHI Xiao-ni2 . Efficient interval-genetic algorithm for multipeak global optimization [J]. 吉林大学学报(工学版), 2008, 38(04): 876-879.
[11]	Tan Xiang-chen;Feng Tie;Luo Shu-tong;Li Da-li. Java source code change prediction based on design change analysis [J]. 吉林大学学报(工学版), 2008, 38(03): 685-0689.
[12]	Zhang Hai-tao,Ai Yun-feng . Scheduling analysis based on Petri nets for distributed real time embedded systems [J]. 吉林大学学报(工学版), 2007, 37(03): 616-0620.
[13]	Pan Hong-junSun Ji-gui,Qi Chang-song . Hierarchical fuzzy Petri nets: formal definitions and reasoning [J]. 吉林大学学报(工学版), 2007, 37(01): 111-116.
[14]	SI Yu-juan . The Research on an Analysis Method for Input Buffer Limitation [J]. 吉林大学学报(工学版), 2001, (3): 31-35.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

Comments

Recommended 0

No Suggested Reading articles found!