|
|
计算机科学 2003
工作流过程建模方法及模型的形式化验证Keywords: 工作流管理系统工作流过程建模方法petri网形式化验证软件系统 Abstract: work/lowtechnologyiswidelyusedinbusinessprocessmodeling,softwareprocessmodelingaswellasen-terpriseinformationintegration.atpresent,thereexistavarietyofworkflowmodelingapproaches,whichdifferintheeasinessofmodeling,express
|
