On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification

Naima Jbeli, Zohra Sbai. On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification. IJSSMET, 12(4):68-84, 2021. [doi]

Abstract

Abstract is missing.