%0 Journal Article
%T 工作流过程建模方法及模型的形式化验证
%A 杨东 王英林 张申生 傅谦？
%J 计算机科学
%D 2003
%X work/lowtechnologyiswidelyusedinbusinessprocessmodeling,softwareprocessmodelingaswellasen-terpriseinformationintegration.atpresent,thereexistavarietyofworkflowmodelingapproaches,whichdifferintheeasinessofmodeling,express
%K 工作流管理系统工作流过程建模方法petri网形式化验证软件系统
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=8595321&flag=1