Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets

摘要

In this work, methods are presented for model checking finite state asynchronous Systems, more specifically 1-safe Petri nets, with the aim of alleviating the state explosion problem. Symbolic model checking techniques are used, combined With two partial order semantics known as net unfoldings and processes.