An FPGA synthesis of the distributed control systems designed with Petri nets. - Arkadiusz Bukowiec; Piotr Mroz (NESEA, 2012)

Decomposition, validation and documentation of control process specification in form of a Petri net. - Iwona Grobelna; Monika Wisniewska; Remigiusz Wisniewski; Michal Grobelny; Piotr Mroz (HSI, 2014)