CORBA工作流时间Petri网建模与分析