Loading [MathJax]/extensions/MathZoom.js
From interpreted Petri net specification to reprogrammable logic controller design | IEEE Conference Publication | IEEE Xplore

From interpreted Petri net specification to reprogrammable logic controller design


Abstract:

The goal of this paper is to present the design methodology for the modelling and synthesis of discrete event controllers for compact, fast and reliable embedded systems,...Show More

Abstract:

The goal of this paper is to present the design methodology for the modelling and synthesis of discrete event controllers for compact, fast and reliable embedded systems, using related Petri net theory, rule-based system theory (conditional mathematical logic), and hardware description languages (VHDL, Verilog). The well structured specification, which is represented in the human readable logic language, has a direct impact on the validation, formal verification and implementation of application specific logic controllers (ASLC) mapped into reconfigurable logic devices (FPGA). Reprogrammable logic controllers (RLC) may replace traditional PLCs in many industrial applications.
Date of Conference: 04-08 December 2000
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-7803-6606-9
Conference Location: Cholula, Puebla, Mexico

References

References is not available for this document.