Taller internacional sobre redes de Petri e ingeniería de software