进程网建模工具的设计与实现

进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单元,并针对进程网的各种组合方式,定义了对应的XML保存格式;利用这些组合方式,可以从基本进程网组合成复杂进程网并保存为xml文件.通过一个实例说明了进程网建模工具的使用.

基于进程网模型的仿真技术研究

进程网是一种新的融合进程代数特征的Petri网模型。具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。本文基于进程网系统,针对进程网建模工具Prn Tools,提出适合其模型的仿真算法,包括实现组件的逻辑关系,组件的点火判定,点火及仿真的图形化表示,以及仿真结束状态图的生成。实验结果表明Prn Tools仿真功能得到实现,该算法有效地实现了针对进程网的仿真技术。

一种基于船舶应用的权限管理系统

权限管理系统是船舶管理系统中的重要模块,其在系统中所产生的作用是非常巨大的。通过对船舶系统、权限配置管理功能模型进行分析,探讨了权限配置管理中间件实现的关键技术,研究并实现了基于船舶系统的一种权限配置管理系统。