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

Arkadiusz Bukowiec, Jacek Tkacz, Marian Adamski, Remigiusz Wisniewski

Browse the full HSI paper archive.