Petri net-based specification, analysis and synthesis of logic controllers

IEEE International Symposium on Industrial Electronics

Volumn 1, Issue , 2000, Pages 20-26

  Wegrzyn, A ^a   Wegrzyn, M ^a  

^a UNIVERSITY OF ZIELONA GÓRA   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION SPECIFIC INTEGRATED CIRCUITS; COMPUTER SIMULATION; ELECTROMECHANICAL DEVICES; FIELD PROGRAMMABLE GATE ARRAYS; FLOWCHARTING; LOGIC DESIGN; PETRI NETS;

LOGIC CONTROL PROGRAMS;

PROGRAMMABLE LOGIC CONTROLLERS;

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

References (17)

1. Parallel controller implementation using standard PLD software
2. Hierarchically structured coloured petri net specification and validation of concurrent controllers
3. Simulating and synthesising of reconfigurable logic controllers using VHDL
4. Coloured Petri Nets
5. Parallel controller synthesis using petri nets
6. Petri nets: Properties, analysis and applications
7. Modelling, simulation and analysis of concurrent controllers by means of coloured petri nets and design/CPN system
8. Formal analysis of SFC nets
9. Symbolic verification of concurrent logic controllers by means of petri nets
10. The application of reconfigurable logic to controller design
11. Coloured petri net model of application specific logic controller programs
12. Hierarchical approach for design of application specific logic controller
13. The analysis of concurrent logic control algorithms