Loading [MathJax]/extensions/MathMenu.js
Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking | IEEE Conference Publication | IEEE Xplore

Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking


Abstract:

This paper studies the validation of both the behavioral model and the implementation program of an automated system. To clarify our approach, we use a small production l...Show More

Abstract:

This paper studies the validation of both the behavioral model and the implementation program of an automated system. To clarify our approach, we use a small production line whose control algorithm is built using signal interpreted Petri nets, validated using model-checking techniques and translated into a sequential function charts (SFC) implementation program. This program is then validated anew. Using this example, we show the utility of those two validation steps before the final implementation of the program on a programmable logic controller (PLC).
Date of Conference: 08-10 May 2002
Date Added to IEEE Xplore: 07 November 2002
Print ISBN:0-7803-7298-0
Print ISSN: 0743-1619
Conference Location: Anchorage, AK, USA

References

References is not available for this document.