机译:使用改进的基于网络重写系统的方法对可重构制造系统的Petri网控制器进行自动重构
机译:基于Petri网的嵌入式系统的面向对象开发
机译:通过基于过渡的控制器,以Petri网为模型的柔性制造系统对生命力的最佳实施:
机译:IOPT-tools —基于Web的工具框架,用于使用Petri网开发嵌入式系统控制器
机译:基于安全的虚拟化框架的嵌入式系统开发框架
机译:整合基于网络的自我管理工具(在网络上管理联合疼痛和资源)对具有基于网络的社交网络支持工具的骨关节炎相关的关节疼痛(在网络参与方面的参与):设计开发和早期评估
机译:使用IOPT Petri网指定的嵌入式系统控制器的基于状态空间的模型检查框架