On the decidability of model checking for several my-calculi and Petri nets - Esparza, Javier 1964- (1993)