Title: On the decidability of model checking for several (mu)-calculi and Petri nets
Subjects: Petri nets, Symbolic and mathematical Logic