International Association of Science and Technology for Development (IASTED);
UML; Graph transformation; Activity diagram; Colored Petri Nets;
机译:基于事件驱动的有色Petri网的UML序列图一致性测试的工具集
机译:基于图变换的UML和彩色Petri网集成建模与分析方法
机译:通过UML活动图和控制解释的Petri网在逻辑控制器设计中进行异常处理
机译:UML 2.0活动图中的转型方法,进入彩色培养网
机译:将核心方案模型和活动图转换为Petri网。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:分层彩色Petri网的UML图:一种自动软件性能工具