Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets.

Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski, Grzegorz Bazydlo

Browse the full SMC paper archive.