IndexAuthor

Rosa Velardo, Fernando and Frutos Escrig, David de (2010) Forward analysis for petri nets with name creation. In Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Lecture notes in computer science (6128). Springer, pp. 185-205. ISBN 978-3-642-13674-0