微型电脑应用
微型電腦應用
미형전뇌응용
MICROCOMPUTER APPLICATIONS
2011年
8期
47-49
,共3页
工作流网%Petri网%路由结构%建模%时间性能分析
工作流網%Petri網%路由結構%建模%時間性能分析
공작류망%Petri망%로유결구%건모%시간성능분석
利用高效的建模技术来构建复杂的业务流程,一方面可以提高模型形式化表示的可读性,另一方面便于进行模型性能分析,确保模型在投入使用后的正确性.阐述了利用Petri网技术的严格语义,来构建流程模型并进行性能分析的过程.首先指出时间性能对工作流性能分析的重要性,然后介绍了Petri网和工作流网的定义、工作流基本路由结构的Petri网表示,及其对应的性能等价公式,最后在这些基本定理的基础上,通过一个购车流程的实例来构建模型,并对其时间性能进行分析,证明了利用Petri网技术建模的合理性和优越性.
利用高效的建模技術來構建複雜的業務流程,一方麵可以提高模型形式化錶示的可讀性,另一方麵便于進行模型性能分析,確保模型在投入使用後的正確性.闡述瞭利用Petri網技術的嚴格語義,來構建流程模型併進行性能分析的過程.首先指齣時間性能對工作流性能分析的重要性,然後介紹瞭Petri網和工作流網的定義、工作流基本路由結構的Petri網錶示,及其對應的性能等價公式,最後在這些基本定理的基礎上,通過一箇購車流程的實例來構建模型,併對其時間性能進行分析,證明瞭利用Petri網技術建模的閤理性和優越性.
이용고효적건모기술래구건복잡적업무류정,일방면가이제고모형형식화표시적가독성,령일방면편우진행모형성능분석,학보모형재투입사용후적정학성.천술료이용Petri망기술적엄격어의,래구건류정모형병진행성능분석적과정.수선지출시간성능대공작류성능분석적중요성,연후개소료Petri망화공작류망적정의、공작류기본로유결구적Petri망표시,급기대응적성능등개공식,최후재저사기본정리적기출상,통과일개구차류정적실례래구건모형,병대기시간성능진행분석,증명료이용Petri망기술건모적합이성화우월성.