Integrating implementation properties in analysis of Petri nets handling exceptions | Publicación