Which are well-defined Petri net extensions that conceive tokens as "pointers" to data attributes? For instance, two tokens, let's call them 'r1' and 'r2', in two different net places may have access and modify the same data attribute. In other words, a manipulation of 'r1' (upon the firing of a transition) may change the value to which 'r2' is also pointing at. For example, CPN do not support such feature as data tokens are localized (not pointing to some external data attribute which can be possibly shared with other net resource).
As a similar concept I point out the formalism of DB-nets (https://arxiv.org/abs/1611.03680) where some places in a Petri net (called "view places") have access to global data via the assignment of queries to places. In this fashion, view places are "fetched with database records" upon the firing of any net transition. However, this is not pure reference semantics since the tokens in the view places are instead copies of the database records, i.e, a manipulation of them do not directly modify records in the database.
- Badges
- Science topic