Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
Add to Favorite Get Latest Update

Petri Nets Model of Multi Thread Java Programs

Department of Computer Science & Engineering, Shanghai Jiaotong University, China  
Using multi threads in Java can take full advantage of computer resources. But the running of threads is nondeterminic, which hinders the usage of threads. The article presents translation rules from Java to Petri nets and the Java programs' Petri nets model can support the analysis of parallel and distributed software. It has shown its effectiveness in applicaton.
【CateGory Index】: TP311,
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
Chinese Journal Full-text Database 4 Hits
1 GUO Juan1,XU Zhi-cai2,FANG Xian-wen1(1.School of Science,Anhui University of Science and Technology,Huainan 232001,China;2.Chuzhou University,Chuzhou 239012,China);Multi-Thread Analysis about Java Program Based on Petri Net[J];计算机技术与发展;2009-04
2 Zhan Huiqin Yuan Liang Gu Tianxiang (College of Automation,University of Electronic Science and Technology of China, Chengdu 610054, China);The Petri Nets of the Intelligent Instruments with Multi-threads[J];仪器仪表学报;2005-09
3 ZHAN Hui-qin~(1,2),SONG Xing-hua~2,GU Tian-xiang~1(1.University of Electronic Science and Technology of China,Chengdu 610054,China;2.College of Electronics and Mechanics of Chengdu,Chengdu 610031,China);Software Design of Intelligent Instruments Based on Multi-tasks and Multi-threads[J];仪表技术与传感器;2004-11
4 LI Zheng ming,SHEN Zheng,YANG Ji chang (College of Electric and Information Engineering,Jiangsu university of Science and technology, Zhenjiang 212013,China);Analysis and Realization of Communication Protocol Based on Petri Net[J];计算机自动测量与控制;2001-05
Chinese Journal Full-text Database 4 Hits
1 GONG Cheng-qing(Guangdong Women Polytechnic,Guangzhou 511450,China);Multithreading's creating and synchronization in Java[J];宁波职业技术学院学报;2007-02
2 LIN Hai-Bo TANG Zhi-Zhong (Department of Computer Science and Technology,Tsmghua University, Beijing 100084 ,China);Multithreaded Computing Model,Architecture and Compiling Technique[J];计算机科学;2003-03
3 YE Xuhong, YAN Gangfeng(College of Electrical Engineering of Zhejiang University, Hangzhou 310027);Analyzing Resource Shared Multi-thread Data Acquisition SystemBased on Colored Petri Net[J];计算机工程;2002-04
4 Department of Computer Science & Engineering, Shanghai Jiaotong University, China;Petri Nets Model of Multi Thread Java Programs[J];上海交通大学学报;1998-10
【Secondary References】
Chinese Journal Full-text Database 9 Hits
1 XU Qin-jun(College of Electrical Engineering and Automation,Fuzhou University,Fuzhou,Fujian 350108,China);A multithread data communication system with Petri net modeling[J];福州大学学报(自然科学版);2012-01
2 ZHENG Dong-wei,XU Wei-sheng,CEN Feng(School of Electronics and Information,Tongji University,Shanghai 201804,China);Research on the Key Technologies of Asynchronous Circuit Design Based on Petri Net[J];计算机仿真;2009-10
3 ZHU Tao FU Guang-yuan YANG Na ZHOU Hui (The Second Artillery Engineering Institute,Xi'an 710025);The wireless communication system network modeling and analysis of Petri[J];微计算机信息;2009-24
4 QIN Kun (Central Iron & Steel Research Institute,Beijing 100081,China);Research on Replay Technology of Eddy Testing Signal[J];物理测试;2009-04
5 XU Yan,SHI Cheng-gang(The Mechanical and Electrical Engineering Department,Changsha University,Changsha 410003,China);Design and Exploitation of Numerical Control Roll-cable Device's Control Software[J];仪表技术与传感器;2009-04
6 Liu Wenjuan He Yigang Qi Shaozhong Xiao Yingqun College of Electrical and Information Engineering,Hunan University,Changsha 410082,China;Software Design of MPEG-4 Coding System Based on Embedded Linux[J];计算机测量与控制;2008-12
7 Ma Min,Huang Jianguo,Xiahou Shiji(School of Automation Engineering,UESTC,Chengdu 610054,China);Test system deadlock-prevention method based on Petri net and genetic algorithm[J];仪器仪表学报;2008-01
8 HONG Xiaobin, LIU Guixiong, WU Zhuokui (College of Mechanical Engineering, South China University of Technology, Guangzhou 510640);Study on the Real-time of Database for IP Mode Measurement and Control System[J];科学技术与工程;2006-21
9 ZHANG Zhi - Qiang,HUA Zu - Yao,ZHU Hong (National University of Defence Technology, Changsha Hunan 410073 , China ; Zhengzhou Academy of Aerial Defence,Zhengzhou Henan 450052,China);Application of Petri Nets in C~3I System Simulation Modeling[J];计算机仿真;2005-06
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved