基于Petri网的UML顺序图分析

机译：基于UML顺序图的大学项目管理系统设计

机译：基于图变换的UML和彩色Petri网集成建模与分析方法

机译：基于UML活动图和Petri网的工作流的定性和定量分析

机译：UML / PNO：一种合并UML和Petri网对象以进行实时系统分析的方法

机译：使用UMLS和MetaMap对生物医学文本中的术语进行歧义化的有监督和基于知识的方法

机译：基于UMLS知识的词义消歧的搭配分析

机译：从UML交互概述图生成测试用例 ud和顺序图

机译：基于随机petri网的交通控制系统性能分析

机译：一种过程优化方法，包括分析过程定义以发现控制序列依赖性，然后将控制序列逐步转换为相应的Petri网络，然后在另一步骤中分析Petri网络

机译：基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器

机译：顺序图制作装置，顺序图制作方法以及顺序图制作程序