From interpreted Petri net specification to reprogrammable logic controller design

IEEE International Symposium on Industrial Electronics

Volumn 1, Issue , 2000, Pages 13-19

  Adamski, M ^a   Monteiro, J L ^a  

^a UNIVERSITY OF ZIELONA GÓRA   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION SPECIFIC INTEGRATED CIRCUITS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; EMBEDDED SYSTEMS; FIELD PROGRAMMABLE GATE ARRAYS; LOGIC DESIGN; PETRI NETS;

REPROGRAMMABLE LOGIC CONTROLLERS (RLC);

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 0034430788     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Digital system design by formal transformation of specification
2. Parallel controller implementation using standard PLD software
3. Petri nets in ASIC design
4. Rule-based formal specification and implementation of logic controllers programs
5. PLD implementation of logic controllers
6. Declarative specification of system independent logic controller programs
7. Simulating and synthesising of reconfigurable logic controllers using VHDL
8. SFC, petri nets and application specific logic controllers
9. Petri net based algorithms for parallel controller synthesis
10. VHDL generation from hierarchical petri net specifications of parallel controllers
11. Parallel controller synthesis using petri nets
12. A comparison of temporal Petri net based techniques in the specification and design of hard real-time systems
13. Field programmable device as a logic controller
14. Coloured petri net model of application specific logic controller programs
15. Hierarchical approach for design of application specific logic controller