Model checking Petri nets with MSVL

Ya Shi, Cong Tian, Zhenhua Duan, MengChu Zhou. Model checking Petri nets with MSVL. Inf. Sci., 363:274-291, 2016. [doi]

Abstract

Abstract is missing.