Decomposition, validation and documentation of control process specification in form of a Petri net.

Iwona Grobelna, Monika Wisniewska, Remigiusz Wisniewski, Michal Grobelny, Piotr Mroz

Browse the full HSI paper archive.