机译:第九次研讨会和实际使用彩色培养网和CPN工具,丹麦,丹麦,2008年10月20日至22日
机译:彩色Petri网和CPN工具,用于并发系统的建模和验证
机译:集成集成定义语言0(IDEF)和有色Petri网(CPN)建模和仿真工具:模具制造过程的研究
机译:第160届ENMC国际研讨会(第一届ENMC实践护理研讨会)针对肌肉疾病患者的运动训练。 2008年6月20日至22日,荷兰纳尔登。
机译:CPN /工具:用于编辑和仿真彩色Petri网的工具,与TACAS相关的ETAPS工具演示
机译:第十车间和实际使用彩色Petri网和CPN工具的教程,丹麦,丹麦,19-21,2009年10月
机译:数据库方向信息资源管理 - 战略和工具:国家标准局和计算机协会研讨会论文集于1980年10月20日至22日在佛罗里达州劳德代尔堡举行