java编写petri网_多线程Java程序的Petri网模型

第 32寿 第 lO期 1998年 10月 上 海 交 通 大 学 学 报 JOURNAL OF SHANGHAI JIAOTONG UNIVERSITY Vo1．驼 No．10 Oct ． 1998 i 肛 一， 易 多线程 JaVa程序的 Petri网模型 11>；7 上海 算 3- 州 (上海交通大学计算机科学与 程系) I1 摘 要 Java的多线程特性能有效地提 高各种计算机 资源的利用率．但是 ，多践程并行运行 所造成的非确定性使得程序中潜在错误的定位和再现十分 困难 ，这严重阻碍 了Java多践程机 制的使用．提 出了从 Java程序到 Petri网的转化规则，利用所得的 Petri网模 型能有效地支持 并行和分布式软件的分析．谊模型在应 用中取得 了很好的效果． 关奠词 一Petri ~Java 乏些生 中圈洼分类号 TP 311 研 Petri Nets Model of Multi—Thread Java Programs Bao Ganfeng， You Jinyuan Department of Computer Science& Engineering，Shanghai Jmotong University，China Abstract Using multi-threads in Java can take full advantage of computer resources．But the running of threads is nondeterminie，which hinders the usage of threads．The article presents translation rules from Java to Patti nets and the Java programs’Petri nets model can support the analysis of parallel and distributed software．It has shown its effectiveness in applieaton． Key words Patti nets；Java；multi—threads Java代码能以一种安全的方式在远程主机上运行，这有效地支持在 Web网络环境上开发分布式应 用．对许多人来说 ，Java主要是一种在 www 上开发 applet的工具．在开发不依赖同络的应用 中，Java 也是一种很好的通用磐程语言 ，它继承了许多现代语言的优秀特征 ]．基于网络和图形界面的应用需要 多个任务同时运行 ，Java的多线程机制能很好地支持这一点．充分使用 Java的多线程特性能很好地利 用各种计算机资源．但是 ，多线程的调度 由Java虚拟机决定，程序员无法预测．多线程并行运行所造成 的非确定性使得程序更加复杂 ，严重阻碍了程序员使用 Java中的多线程机制．此外，分布系统中多进程 问的通信随机出现，这从另一方面引入了非确定性． Petri网适合描述具有并行行为或操作的系统，能直观地反映并行(parallelism)、同步(synehroniza． tion)和共享 (sharing)等现象．Petri阿的另一特点是具有严格的效学基础 ，其理论结果 十分丰富．用 Petri网模拟具有多线程的 Java程序，能有效地支持软件的开发和分析口]． 1 转换 规 则 Petri网能方便地模拟 Java程序，Petri网中的变迁模拟语句，位置模拟状态．结构化程序有顺序、分 支 和循环三种基