Identification of unbounded Petri nets from their coverability graph - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu. Identification of unbounded Petri nets from their coverability graph. In 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, 13-15 December, 2006. pages 434-440, IEEE, 2006. [doi]

This author has not been identified. Look up 'Maria Paola Cabasino' in GoogleThis author has not been identified. Look up 'Alessandro Giua' in GoogleThis author has not been identified. Look up 'Carla Seatzu' in Google

runs on WebDSL