Institute of Computer Eng. And Electronics, University of Zielona Góra, Poland;
机译:通过UML活动图和控制解释的Petri网在逻辑控制器设计中进行异常处理
机译:使用对Petri网的形式转换来验证SysML活动图
机译:移动活动图到嵌套Petri网的图变换方法
机译:分层UML活动图控制到控制中解释了Petri网转换
机译:将核心方案模型和活动图转换为Petri网。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:分层彩色Petri网的UML图:一种自动软件性能工具