Arkadiusz Bukowiec, Jacek Tkacz, Marian Adamski, Remigiusz Wisniewski. Dual synthesis of Petri net based dependable logic controllers for safety critical systems. In 7th International Conference on Human System Interactions, HSI 2014, Costa da Caparica, Portugal, June 16-18, 2014. pages 243-248, IEEE, 2014. [doi]
Abstract is missing.