摘要
进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单元,并针对进程网的各种组合方式,定义了对应的XML保存格式;利用这些组合方式,可以从基本进程网组合成复杂进程网并保存为xml文件.通过一个实例说明了进程网建模工具的使用.
Process net is a new Petri net model which has the characteristics of Process Alge- bra. The modeling method of constructing complex process nets through simple ones is supported by basic process net. The implementation of modeling tool for process net named PrnTools is introduced. In PrnTools, basic process nets are the smallest modeling unit. The XML storage formats for five composition operators of process nets are defined. Based on those composition operators, complex process nets can be constructed through simple ones and be saved as XML format. Finally, an example to illustrate the use of the process modeling tool is described.
出处
《北方工业大学学报》
2014年第1期22-26,43,共6页
Journal of North China University of Technology
基金
国家自然科学基金项目(6107003)
北京市属高校学术创新团队建设项目(PHR201107017)
