Authors: Sabine Boufenara; Kamel Barkaoui; Faiza Belala; Hanifa Boucheneb
Addresses: Department of Computer Engineering, École Polytechnique de Montréal, P.O. Box 6079, Station Centreville, Montréal, Quebec, Canada ' CEDRIC Research Laboratory, Conservatoire national des arts et métiers, 292 rue Saint-Martin, F-75141 Paris Cédex 03, France ' Department of Computer Science, Mentouri University, PB 325 Route de Ain El Bey, Constantine 25000, Algeria ' Department of Computer Engineering, École Polytechnique de Montréal, P.O. Box 6079, Station Centreville, Montréal, Quebec, Canada
Abstract: Transactional Petri nets (TPNets) are a new class of high-level zero-safe nets (ZSNs), defined as a semantic framework for UML2 activity diagrams. Indeed, they capture the behaviour associated with non-local actions triggering, cancellation patterns and the advanced synchronisation that result. While, reactivity is guaranteed due to the real time massive cancellation semantics, based on the definition of new dynamic enabling rules and the definition of priority among executions, global synchronisation in turn is assured as a result of non-locality principle; an outcome of atomic stable transactions use. The operational semantics of TPNets is defined within rewriting logic-based framework.
Keywords: zero-safe nets; ZSNs; UML2 activity diagrams; reactivity; non-local behaviour; synchronisation; transactional Petri nets; modelling; semantics.
International Journal of Critical Computer-Based Systems, 2014 Vol.5 No.3/4, pp.241 - 267
Received: 08 May 2021
Accepted: 12 May 2021
Published online: 03 Sep 2014 *