1. A reduced maximality labeled transition system generation for recursive Petri nets. (November 2015) Authors: Bouneb, Messaouda; Saidouni, Djamel; Ilie, Jean Journal: Formal aspects of computing Issue: Volume 27:Number 5(2015) Page Start: 951 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗