<trans oldtip="Kees van Hee et al. (2006). " newtip="Kees van Hee等人。(2006年)。">Kees van Hee等人。(2006年)。</trans><trans oldtip=""Colored Petri Nets to Verify Extended Event-Driven Process Chains"" newtip="用于验证扩展事件驱动过程链的有色Petri网">用于验证扩展事件驱动过程链的有色Petri网</trans>Archived 2016-03-03 at the Wayback Machine<trans oldtip=". In " newtip="。在……里面">。在……里面</trans><trans oldtip="Proc. of the 4th Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS06)" newtip="第四期企业信息系统建模、仿真、验证和验证讲习班(MSVVEIS 06)">第四期企业信息系统建模、仿真、验证和验证讲习班(MSVVEIS 06)</trans><trans oldtip=", May 23–24, 2006 Paphos, Cyprus, pp. 76-85." newtip=",2006年5月23日至24日,塞浦路斯帕福斯,第76至85页。">,2006年5月23日至24日,塞浦路斯帕福斯,第76至85页。</trans>
<trans oldtip="Kees van Hee et al. (2006). " newtip="Kees van Hee等人。(2006年)。">Kees van Hee等人。(2006年)。</trans><trans oldtip=""Colored Petri Nets to Verify Extended Event-Driven Process Chains"" newtip="用于验证扩展事件驱动过程链的有色Petri网">用于验证扩展事件驱动过程链的有色Petri网</trans>Archived 2016-03-03 at the Wayback Machine<trans oldtip=". In " newtip="。在……里面">。在……里面</trans><trans oldtip="Proc. of the 4th Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS06)" newtip="第四期企业信息系统建模、仿真、验证和验证讲习班(MSVVEIS 06)">第四期企业信息系统建模、仿真、验证和验证讲习班(MSVVEIS 06)</trans><trans oldtip=", May 23–24, 2006 Paphos, Cyprus, pp. 76-85." newtip=",2006年5月23日至24日,塞浦路斯帕福斯,第76至85页。">,2006年5月23日至24日,塞浦路斯帕福斯,第76至85页。</trans>