Design and verification of distributed logic controllers with application of Petri nets

Journal Article · Thu Dec 31 00:00:00 EST 2015 · AIP Conference Proceedings

DOI:https://doi.org/10.1063/1.4938881· OSTI ID:22499175

Wiśniewski, Remigiusz; Grobelna, Iwona; Grobelny, Michał; Wiśniewska, Monika ^[1]

---

1. University of Zielona Góra, Licealna 9, 65-417 Zielona Góra (Poland)

The paper deals with the designing and verification of distributed logic controllers. The control system is initially modelled with Petri nets and formally verified against structural and behavioral properties with the application of the temporal logic and model checking technique. After that it is decomposed into separate sequential automata that are working concurrently. Each of them is re-verified and if the validation is successful, the system can be finally implemented.

• OSTI ID: 22499175
• Journal Information: AIP Conference Proceedings, Vol. 1702, Issue 1; Conference: ICCMSE 2015: International conference of computational methods in sciences and engineering 2015, Athens (Greece), 20-23 Mar 2015; Other Information: (c) 2015 AIP Publishing LLC; Country of input: International Atomic Energy Agency (IAEA); ISSN 0094-243X
• Country of Publication: United States
• Language: English

Related Subjects

71 CLASSICAL AND QUANTUM MECHANICS
GENERAL PHYSICS
97 MATHEMATICAL METHODS AND COMPUTING
CONTROL SYSTEMS
DESIGN
NETWORK ANALYSIS
VALIDATION
VERIFICATION