@ARTICLE{Tkacz_J._Dual_2016, author={Tkacz, J. and Bukowiec, A. and Adamski, M.}, volume={64}, number={No 3}, journal={Bulletin of the Polish Academy of Sciences Technical Sciences}, pages={467-478}, howpublished={online}, year={2016}, title={Dual synthesis of Petri net based application specific logic controllers with increased safety}, URL={http://journals.pan.pl/Content/84531/PDF/10.1515bpasts-2016-0052.pdf}, doi={10.1515/bpasts-2016-0052}, }