北方工业大学学报
北方工業大學學報
북방공업대학학보
JOURNAL OF NORTH CHINA UNIVERSITY OF TECHNOLOGY
2014年
1期
22-26,43
,共6页
Petri网%进程网%建模工具
Petri網%進程網%建模工具
Petri망%진정망%건모공구
进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单元,并针对进程网的各种组合方式,定义了对应的XML保存格式;利用这些组合方式,可以从基本进程网组合成复杂进程网并保存为xml文件.通过一个实例说明了进程网建模工具的使用.
進程網是一種融閤進程代數特徵的Petri網模型,支持由基本進程網構造複雜進程網的建模方法.本文介紹瞭進程網建模工具PrnTools的實現.在PrnTools中,以基本進程網為最小建模單元,併針對進程網的各種組閤方式,定義瞭對應的XML保存格式;利用這些組閤方式,可以從基本進程網組閤成複雜進程網併保存為xml文件.通過一箇實例說明瞭進程網建模工具的使用.
진정망시일충융합진정대수특정적Petri망모형,지지유기본진정망구조복잡진정망적건모방법.본문개소료진정망건모공구PrnTools적실현.재PrnTools중,이기본진정망위최소건모단원,병침대진정망적각충조합방식,정의료대응적XML보존격식;이용저사조합방식,가이종기본진정망조합성복잡진정망병보존위xml문건.통과일개실례설명료진정망건모공구적사용.
