Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study.

Remigiusz Wisniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak, Mengchu Zhou

Browse the full SMC paper archive.