Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems.

Marcin Wojnakowski, Remigiusz Wisniewski, M. Zhou, Z. Li, Maxim Malinski, Andrzej Obuchowicz, D. Konarczak

Browse the full SMC paper archive.