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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.