Design and verification of distributed logic controllers with application of Petri nets
Remigiusz Wiśniewski, Iwona Grobelna, Michał Grobelny, Monika Wisniewska · AIP conference proceedings · 2015
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.