Model transformation; Sequence diagrams; Queueing petri nets;
机译:基于时间Petri网的UML2时序图的形式验证
机译:使用对Petri网的形式转换来验证SysML活动图
机译:基于事件驱动的有色Petri网的UML序列图一致性测试的工具集
机译:从UML序列图到排队培养网的正式转换
机译:将核心方案模型和活动图转换为Petri网。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:从UML序列图到彩色Petri网的自动模型转换