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,