• Source: Nets within Nets

      • nets" target="_blank">Nets within nets" target="_blank">Nets is a modelling method belonging to the family of Petri nets" target="_blank">nets.
      This method is distinguished from other sorts of Petri nets" target="_blank">nets by the possibility to provide their tokens with a proper structure, which is based on Petri net modelling again. Hence, a net can contain further net items, being able to move around and fire themselves.


      Motivation


      nets" target="_blank">Nets within nets" target="_blank">nets are well suited for the modelling of distributed systems under the particular aspects of

      hierarchy,
      mobility
      encapsulation.
      In a lot of publications in relation to object-oriented design is given, in order to combine the ability of Petri nets" target="_blank">nets in modelling distributed computing with the modelling of objects, being able to be created and to interact.


      History


      Starting from the need of practical applications, by the mid of nineties, different formalisms have been created, which fit the description of „nets" target="_blank">nets within nets" target="_blank">nets“. Lomazova and Schnoebelen are listing
      some of these approaches, namely by Sibertin-Blanc, Lakos, Moldt und Wienberg as extending Coloured Petri nets" target="_blank">nets, aside the Object nets" target="_blank">Nets of Valk.
      The earliest use of such hierarchic net models appeared by Rüdiger Valk in Valk and Jessen, where the so-called task-flow nets" target="_blank">nets are introduced in order to model task systems in operating systems. In these models tasks are modelled by a Petri net, which represents the precedences of tasks and their state of execution.


      Semantics


      The most important differences in semantics is given by the execution of net tokens. On the one side net tokens can be references to net items, which case is called „reference semantics“. This kind of semantic is distinguished from value semantics, where net objects may exist in different places and different internal states. In value semantics different copies can be created to model concurrent execution. The corresponding join of such a split can be defined in different ways, as for instance by „distributed token semantics“ or „history process semantics“. In connection with mobile computing hybrid versions of reference and value semantics are of importance. In distributed token semantics the important calculus of place invariants for Petri nets" target="_blank">nets remains valid.


      Communication


      The formalism of nets" target="_blank">nets within nets" target="_blank">nets would be of few importance without communication between net tokens. Like in object-oriented programming communication of net tokens is introduced via predefined interfaces which are dynamically bound.

      In Figure 1 a Petri net is shown containing a token Petri net in place „a“. The token net can move around from place „a“ to place „b“ and back by firing of the transitions of the outer net. The channel inscriptions at the transitions behave like a call of a method, resulting in the synchronised firing of the calling transition in the outer net [e.g. labelled by x:forth()] and the called transition [e.g. labelled by :forth()] in the token net. The variable „x“ at an arrow is bound to the token net in the place connected with this arrow. The brackets may contain parameters to be passed. This example is so simple that reference and value semantics coincide.


      Algorithms and restricted formalisms


      Standard Petri net properties like reachability, boundedness and liveness show a mixed picture. A paper of Köhler-Bußmeier gives a survey on decidability results for elementary object systems.
      To reduce the complexity of the formalism subclasses have been defined by restricting the structure of the Petri nets" target="_blank">nets, as for instance to state machines. Such restrictions still allow complex modelling of distributed and mobile systems, but have polynomial complexity in model checking.


      Tools


      CO-OPN https://smv.unige.ch//research-projects/co-opn (based on algebraic high level nets" target="_blank">nets)
      RENEW http://www.renew.de (free development Model checking of reference nets" target="_blank">nets with JAVA-Integration)


      References

    Kata Kunci Pencarian: