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.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved