摘要
以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质进行了验证。结果证明,该技术能够在文件审批系统中进行建模和可行性验证。
Workflow technology as the foundation,this paper applied the modeling method of petri-net to the analysis procee of the docunmnt examination and approval system,build the system petri-net modeling,and by using petri-net reduction rules, this paper tests and verifies the modeling correctness on the structure;at the same time,Lhough the cover tree of the model,the accessibility,activity,and boundedness of the model are verified.the result proves,this technology can be used to model and test the document examination and approval system.
出处
《微型机与应用》
2013年第2期77-80,共4页
Microcomputer & Its Applications
基金
黑龙江省高等学校科技创新团队建设计划项目(2011TD008)
关键词
文件审批系统
PETRI网
工作流
模型映射与化简
document examination and approval system
petri-net
workflow
mapping and simplification of modeling
