16-17 May 2019 • Sofia, Bulgaria

Submission: 1 February 2019 • Notification: 1 March 2019 • Final Version: 1 April 2019

Extending operators over generalized nets

From Ifigenia, the wiki for intuitionistic fuzzy sets and generalized nets
Jump to: navigation, search

Extending operators over generalized nets (not to be confused with the expanding kind of hierarchical operators) are operators that add supplementary functionality to generalized nets.

The operators have at least one of the following two forms:

  • local form :
  • global form :

The extending operators are:

  • operators, extending a given generalized net (GN) to a fuzzy and intuitionistic fuzzy generalized net: ,
  • an operator, replacing the firing moment of a given transition in a given GN with an interval : ,
    • and a global operator, replacing the firing moments of all transitions in the GN with intervals : ,
    • and operators doing the opposite : .
  • an operator colouring the tokens and the arcs of a given GN : ,
    • and an operator, doing the opposite : .
  • an operator which adds a "memory" component to the structure of a given GN : ,
    • and one removing this component : .
  • operators transforming a given GN to a GN with optimization components : ,
    • and an operator that removes such components from the net : .
  • operators transforming a given GN to a GN with additional clocks : ,
    • and an operator that removes the existing additional clocks from a GN : .
  • operators transforming a given GN to a GN with complex transition types : ,
    • and an operator that removes these components : .
  • operators transforming a given GN to a GN with transition stop conditions : ,
    • and one that removes these conditions from the net : .
  • an operator transforming a given GN to a GN with (global) stop condition : ,
    • and one that removes this conditions from the net : .
  • an operator that transforms a given GN to a two-way generalized net : .

References