一種基于庫所含時間因素的時延Ｐｅｔｒｉ網的工作流建模方法
2009-12-29 00:00:00于汪洋
計算技術與自動化 2009年3期
摘要：時間是反映工作流性能的一個重要方面，立足于實際業務過程對工作流系統時間管理功能的需求，尤其是針對一些對時同性能要求比較高的工作流系統，提出一種新的基于庫所含時間因素的時延Petri網的工作流建模和分析方法，提出一種新的工作流建模工具TPWF－NET(Timed Places WorkFlow-Net)，并給出結構完整性的驗證方法。
關鍵詞：工作流；時間建模；驗證；工作流管理系統；時延Petri網
中圖分類號：TP301 文獻標識碼：A
