Department of Electrical Drives and Automation University of Oradea 1 Universitatii Str., Oradea 410087 ROMANIA;
Department of Electronics University of Oradea 1 Universitatii Str., Oradea 410087 ROMANIA;
programmable logic controllers; signal interpreted Petri Networks; model checking;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:用于离散事件控制设计的PLC逻辑程序的基于传感器的阶段Petri网建模
机译:将梯形图转换为Petri网的形式化设计方法
机译:从信号解释Petri网生成的PLC程序的形式验证
机译:高级Petri网的形式化建模和分析技术。
机译:NordiNet®国际成果研究和NovoNet®ANSWERProgram®:两项基于国际药典流行病学注册表的研究的原理设计和方法监测生长激素疗法(Norditropin®)的长期临床和安全性结果
机译:使用信号解释Petri网进行可视PLC编程
机译:结合符号和偏序方法进行模型检查1-安全petri网