Concepedia

Using Visual Specifications in Verification of Industrial Automation Controllers

Valeriy Vyatkin, Gustavo Bouzon

EURASIP Journal on Embedded Systems · 2008 · 18 citations · 8 references

DOIFull text

Open access

Concepts

References

8

Net condition/event systems with multiple condition outputs

Mathias Rausch, H.‐M. Hanisch · 2002 · 129 citations

, , +19

Verification of distributed control systems in intelligent manufacturing

Valeriy Vyatkin, Hans‐Michael Hanisch · Journal of Intelligent Manufacturing · 2003 · 110 citations

Structuring and Composability Issues in Petri Nets Modeling

Lúıs Gomes, João Paulo Barros · IEEE Transactions on Industrial Informatics · 2005 · 86 citations

, , +21

Modeling of PLC behavior by means of timed net condition/event systems

H.‐M. Hanisch, Jan Thieme, Arndt Lüder et al. · 2002 · 79 citations

, , +22

Formal validation of intelligent-automated production systems: towards industrial applications

H.‐M. Hanisch, Andrei Lobov, José L. Martínez Lastra et al. · International Journal of Manufacturing Technology and Management · 2006 · 38 citations

, , +21