On the coverability and reachability languages of monotonic extensions of Petri nets

Giorgio Delzanno, Fernando Rosa Velardo. On the coverability and reachability languages of monotonic extensions of Petri nets. Theoretical Computer Science, 467:12-29, 2013. [doi]

Authors

Giorgio Delzanno

This author has not been identified. Look up 'Giorgio Delzanno' in Google

Fernando Rosa Velardo

This author has not been identified. Look up 'Fernando Rosa Velardo' in Google