论文部分内容阅读
工作流输入和输出的质量是工作流管理系统成功的关键因素，因此对工作流的建模尤为重要。本文以汽车租赁流程为例，研究如何把UML和PetriNet两大工具结合起来对工作流进行建模和系统仿真的方法。UML能够有效地描述系统，但缺乏精确的语义描述；而PetriNet能对系统进行仿真和严密地分析，形式化程度较高。将两者结合，可实现优势互补，为改进模型、促进业务流程管理提供有效途径。