[PDF] academia.edu

[PDF][PDF] Design of safe PLC programs by using Petri nets and formal methods

EI Gergely, L Coroiu - academia.edu
The paper presents an approach which combines the formalism of Petri Nets and of model
checking in order to deliver correct and dependable PLC programs. Based on SIPNs, a …
被引用次数：14 相关文章
[PDF] academia.edu

[PDF][PDF] Design of Safe PLC Programs by Using Petri Nets and Formal Methods

EI GERGELY, L COROIU, A GACSADI - academia.edu
The paper presents an approach which combines the formalism of Petri Nets and of model
checking in order to deliver correct and dependable PLC programs. Based on SIPNs, a …

Design of safe PLC programs by using Petri nets and formal methods

EI Gergely, L Coroiu, A Gacsadi - Proceedings of the 11th WSEAS …, 2010 - dl.acm.org
The paper presents an approach which combines the formalism of Petri Nets and of model
checking in order to deliver correct and dependable PLC programs. Based on SIPNs, a …
[PDF] researchgate.net

[PDF][PDF] Design of Safe PLC Programs by Using Petri Nets and Formal Methods

EI GERGELY, L COROIU, A GACSADI - researchgate.net
The paper presents an approach which combines the formalism of Petri Nets and of model
checking in order to deliver correct and dependable PLC programs. Based on SIPNs, a …

[引用][C] Design of Safe PLC Programs by Using Petri Nets and Formal Methods

EI GERGELY, L COROIU, A GACSADI