Keyword:state explosion

Papers
EnPAC: Petri Net Model Checking for Linear Temporal Logic Zhijun Ding, Cong He and Shuo Li EasyChair Preprint no. 11276