對petrinet網進行了充分的研究,提出了具備必定理論基礎的petrinet-令牌模型, 將Petri網中託肯(Token)、位子(Place)和轉移 (Transition) 等術語用容易理解和接受的信牌、信牌箱和活動等來描述,同時引入全局變量、值域、各活動的功能函數和後繼函數。數據庫
將活動實例的一次執行抽象爲其功能函數和後繼函數的一次執行過程,對活動賦予功能函數的語義,並由後繼函數決定後續環節控制信牌轉移的方向。函數
(1)產品標準化、產品化優化
A.符合WfMC標準spa
B.產品化:支持JAVA、Delphi、VB、VC、PB等語言的通用API,實現5大接口: 工做流定義交換接口、 工做流客戶端應用接口、被調用的應用接口、工做流系統互操做接口、系統管理和監控接口。
C. 平臺(J2EE、.NET)、數據庫系統、中間件系統、操做系統的無關性。
(2)企業級別應用操作系統
A. 簡化流程設計與實現,提高效率設計
B. 自動校驗流程實例,引導合理流程的規劃與指導中間件
C. 快速開發和專爲「中國式管理」設計的自適應流程接口
(3)業務全生命週期管理
生命週期