Dual synthesis of Petri net based dependable logic controllers for safety critical systems

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]

Authors

Arkadiusz Bukowiec

This author has not been identified. Look up 'Arkadiusz Bukowiec' in Google

Jacek Tkacz

This author has not been identified. Look up 'Jacek Tkacz' in Google

Marian Adamski

This author has not been identified. Look up 'Marian Adamski' in Google

Remigiusz Wisniewski

This author has not been identified. Look up 'Remigiusz Wisniewski' in Google