Transactional Petri nets: a semantic framework for UML2 activities

Sabine Boufenara, Kamel Barkaoui, Faiza Belala, Hanifa Boucheneb. Transactional Petri nets: a semantic framework for UML2 activities. IJCCBS, 5(3/4):241-267, 2014. [doi]

Abstract

Abstract is missing.