Object enhanced time Petri net models
Tiberiu Stefan Letia, Dahlia Al-Janabi · 2018
Many software applications in the domains of reactive systems, cyber-physical systems, internet of things etc. need models that are capable to describe complex structure, concurrent behaviors including reaction to internal and external events, or distributed processing concerning task migration and cooperation. The newly proposed models called Object Enhanced Time Petri Nets (OETpNs) extend the classical Petri nets with tokens representing objects that implement data and tasks. Any task can be modeled by an OETPN, so in their turn some tokens can be OETPNs too. This leads to construction of OETPNs that include and move other OETPNs, all of them being capable to intercommunicate. They can take (receive) information from or send information to their environment. Allowing the distributed implementation, OETPN models can implement the information transfer and the task migration. The conceived models can describe the object dynamical creation and destruction. Some transition guards and mappings are used to control the flow of the executions, to assess the model states and to implement the information transformation. All the OETPN places have assigned types that allow the setting of passive or active objects. An algorithm to execute the OETPN models is provided with some examples of application for concurrent distributed developments.