<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://ifigenia.org/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Nikolay+Ikonomov</id>
	<title>Ifigenia - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://ifigenia.org/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Nikolay+Ikonomov"/>
	<link rel="alternate" type="text/html" href="https://ifigenia.org/wiki/Special:Contributions/Nikolay_Ikonomov"/>
	<updated>2026-04-13T16:12:52Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.43.6</generator>
	<entry>
		<id>https://ifigenia.org/index.php?title=Generalized_nets&amp;diff=11177</id>
		<title>Generalized nets</title>
		<link rel="alternate" type="text/html" href="https://ifigenia.org/index.php?title=Generalized_nets&amp;diff=11177"/>
		<updated>2022-04-02T10:45:24Z</updated>

		<summary type="html">&lt;p&gt;Nikolay Ikonomov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&#039;&#039;&#039;Generalized nets&#039;&#039;&#039; (&#039;&#039;GNs&#039;&#039;) constitute a discrete tool for universal description of adaptable, flexible, structured and reusable models of complex systems with many different and interacting components, not necessarily of the homogeneous structure and origin, usually involved in parallel, simultaneous activities. Generalized nets represent a significant extension and generalization of the concept of [[Petri nets]], as well as of other [[Extensions of Petri nets|Petri nets extensions and modifications]].&lt;br /&gt;
&lt;br /&gt;
== Components of a generalized net ==&lt;br /&gt;
[[Image:GN-transition-mxn.png|right|thumb|25oxp|A GN transition with &#039;&#039;m&#039;&#039; inputs and &#039;&#039;n&#039;&#039; outputs]]&lt;br /&gt;
&lt;br /&gt;
A generalized net consists of:&lt;br /&gt;
* a static structure,&lt;br /&gt;
* a dynamic structure,&lt;br /&gt;
* temporal components.&lt;br /&gt;
&lt;br /&gt;
The &#039;&#039;&#039;&#039;&#039;static structure&#039;&#039;&#039;&#039;&#039; consists of objects called &#039;&#039;[[transition]]s&#039;&#039;, which have input and output &#039;&#039;[[place]]s&#039;&#039;. Two transitions can share a place, but every place can be an input of at most one transition and can be an output of at most one transition.&lt;br /&gt;
&lt;br /&gt;
The &#039;&#039;&#039;&#039;&#039;dynamic structure&#039;&#039;&#039;&#039;&#039; consists of &#039;&#039;[[token]]s&#039;&#039;, which act as information carriers and can occupy a single place at every moment of the GN execution. The tokens pass through the transition from one input to another output place; such an ordered pair of places is called &#039;&#039;[[transition arc]]&#039;&#039;. The tokens&#039; movement is governed by conditions (&#039;&#039;predicates&#039;&#039;), contained in the [[predicate matrix]] of the transition. &lt;br /&gt;
&lt;br /&gt;
The information carried by a token is contained in its [[token characteristics|characteristics]], which can be viewed as an associative array of characteristic names and values. The values of the token characteristics change in time according to specific rules, called &#039;&#039;[[characteristic function]]s&#039;&#039;. Every place possesses at most one characteristic function, which assigns new characteristics to the incoming tokens. Apart from movement in the net and change of the characteristics, tokens can also split and merge in the places.&lt;br /&gt;
&lt;br /&gt;
The &#039;&#039;&#039;&#039;&#039;temporal components&#039;&#039;&#039;&#039;&#039; describe the time scale of GN execution. &#039;&#039;Temporal conditions&#039;&#039; control the transitions&#039; moments of activation and duration of active state. Various other tools for fine tuning of the GN functioning are provided in the form of &#039;&#039;priorities&#039;&#039; of separate transitions, places and tokens, as well as &#039;&#039;capacities&#039;&#039; of places and transitions arcs.&lt;br /&gt;
&lt;br /&gt;
=== Graphic representation ===&lt;br /&gt;
&lt;br /&gt;
== Formal description ==&lt;br /&gt;
&lt;br /&gt;
Formally described, the generalized net is represented by the following four-tuple:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&amp;lt;math&amp;gt;&lt;br /&gt;
&amp;lt; \underbrace{ &amp;lt;A, \pi_{A}, \pi_{L}, c, f, \theta_{1}, \theta_{2} &amp;gt;}_{1.\ Static \ structure},&lt;br /&gt;
  \underbrace{ &amp;lt;K, \pi_{K}, \theta_{K} &amp;gt;}_{2. \ Dynamic \ structure},&lt;br /&gt;
  \underbrace{ &amp;lt;T, t^{0}, t^{*} &amp;gt;}_{3. \ Time},&lt;br /&gt;
  \underbrace{ &amp;lt;X, \Phi, b &amp;gt;}_{4. \ Memory} &amp;gt;&lt;br /&gt;
&amp;lt;/math&amp;gt;&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where:&lt;br /&gt;
; &#039;&#039;1. Static structure&#039;&#039;&lt;br /&gt;
* &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt; is a &#039;&#039;set of transitions&#039;&#039; (see the [[Transition#Formal description|formal definition of a transition]])&lt;br /&gt;
* &amp;lt;math&amp;gt;\pi_{A}&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;priorities of the transitions&#039;&#039;, i.e. &amp;lt;math&amp;gt;\pi_{A} : A \rightarrow N&amp;lt;/math&amp;gt; where N = {0, 1, 2, ...} ∪ {∞}&lt;br /&gt;
* &amp;lt;math&amp;gt;\pi_{L}&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;priorities of the places&#039;&#039;, i.e. &amp;lt;math&amp;gt;\pi_{L} : L \rightarrow N&amp;lt;/math&amp;gt; &lt;br /&gt;
* &amp;lt;math&amp;gt;c&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;place capacities&#039;&#039;, i.e. &amp;lt;math&amp;gt;c : L \rightarrow N&amp;lt;/math&amp;gt; &lt;br /&gt;
* &amp;lt;math&amp;gt;f&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;truth value of the predicates&#039;&#039;. In the basic case, it may obtain values &amp;quot;true&amp;quot; (1) and &amp;quot;false&amp;quot; (0). In [[fuzzy generalized net]]s its domain is the [0;1] interval (see [[fuzzy set]]) and in the [[intuitionistic fuzzy generalized net]]s its domain is the set [0;1]×[0;1] (see [[intuitionistic fuzzy set]]).&lt;br /&gt;
* &amp;lt;math&amp;gt;\theta_{1}&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;next time moment&#039;&#039; when a given transition will be fired (will become active). Hence, &amp;lt;math&amp;gt;\theta_{1}(t) = t&#039;&amp;lt;/math&amp;gt; where &amp;lt;math&amp;gt;t, t&#039; \in [T, T+t^*]; t \le t&#039;&amp;lt;/math&amp;gt;. The value of this function is being recalculated in the moment when the transition&#039;s active state ceases.&lt;br /&gt;
* &amp;lt;math&amp;gt;\theta_{2}&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;duration of the transition&#039;s active state&#039;&#039;.  Hence, &amp;lt;math&amp;gt;\theta_{2}(t) = t&#039;&amp;lt;/math&amp;gt; where &amp;lt;math&amp;gt;t, t&#039; \in [T, T+t^*]; t&#039; \ge 0&amp;lt;/math&amp;gt;. The value of this function is calculated in the moment when the transition&#039;s active state begins.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
; &#039;&#039;2. Dynamic structure&#039;&#039;&lt;br /&gt;
* &amp;lt;math&amp;gt;K&amp;lt;/math&amp;gt; is the &#039;&#039;set of tokens&#039;&#039; of the generalized net. In certain cases it is more convenient to denote this set as &amp;lt;math&amp;gt;K = \bigcup_{l \in Q^I} K_{l} &amp;lt;/math&amp;gt; where &amp;lt;math&amp;gt;K_{l}&amp;lt;/math&amp;gt; is the set of all GN tokens which are waiting to enter place &amp;lt;math&amp;gt;l&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;Q^I&amp;lt;/math&amp;gt; is the set of all input places in the net.&lt;br /&gt;
* &amp;lt;math&amp;gt;\pi_K&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;priorities of the tokens&#039;&#039;, i.e. &amp;lt;math&amp;gt;\pi_{K} : K \rightarrow N&amp;lt;/math&amp;gt; &lt;br /&gt;
* &amp;lt;math&amp;gt;\theta_K&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;moment of time when a given token may enter&#039;&#039; the GN, i.e. &amp;lt;math&amp;gt;\theta_K (\alpha)=t&amp;lt;/math&amp;gt; where &amp;lt;math&amp;gt;\alpha \in K, t \in [T; T+t^*]&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
; &#039;&#039;3. Time&#039;&#039;&lt;br /&gt;
* &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; is the moment of time when the generalized net starts functioning. This moment is determined according to a fixed global timescale.&lt;br /&gt;
* &amp;lt;math&amp;gt;t^0&amp;lt;/math&amp;gt; is the elementary time step of the fixed global timescale (the interval with which time increments in the timescale).&lt;br /&gt;
* &amp;lt;math&amp;gt;t^*&amp;lt;/math&amp;gt; is the total duration of functioning of the net.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
; &#039;&#039;4. Memory&#039;&#039;&lt;br /&gt;
* &amp;lt;math&amp;gt;X&amp;lt;/math&amp;gt; is the &#039;&#039;set of initial characteristics&#039;&#039;, which tokens may exhibit when they enter the net for first.&lt;br /&gt;
* &amp;lt;math&amp;gt;\Phi&amp;lt;/math&amp;gt; is a &#039;&#039;characteristic function&#039;&#039;, which assigns a new characteristic to each token when it makes the transfer from an input to an output place of a given transition.&lt;br /&gt;
* &amp;lt;math&amp;gt;b&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;maximal number of characteristics&#039;&#039;, which a given token may obtain during its movement throughout the net, i.e. &amp;lt;math&amp;gt;b : K \rightarrow N&amp;lt;/math&amp;gt;. In general, &amp;lt;math&amp;gt;b&amp;lt;/math&amp;gt; may possess four different values: 0, 1, &amp;lt;math&amp;gt;s&amp;lt;/math&amp;gt; or &amp;lt;math&amp;gt;\infty&amp;lt;/math&amp;gt; meaning that the token keeps, respectively: none of its characteristics, its last characteristic, its last &amp;lt;math&amp;gt;s&amp;lt;/math&amp;gt; characteristics, or all of its characteristics obtained during its movement in the net.&lt;br /&gt;
&lt;br /&gt;
=== Algorithms related to generalized nets ===&lt;br /&gt;
In a Petri net implementation, parallelism is reduced to a sequential firing of the net transitions and in general the order of their activation is probabilistic or dependent on the transitions&#039; priorities, if any. The respective algorithms for generalized nets enable a more detailed modelling of the described process. &lt;br /&gt;
&lt;br /&gt;
In the the book &amp;quot;[[Generalized Nets (World Scientific)|Generalized Nets]]&amp;quot; from 1991 year &amp;lt;ref&amp;gt;Atanassov K., &amp;quot;Generalized Nets&amp;quot;, World Scientific, Singapore, 1991, ISBN 978-981-02-0598-0&amp;lt;/ref&amp;gt;, there were formulated two major algorithms, related to generalized nets:&lt;br /&gt;
* &#039;&#039;&#039;[[Algorithm for transition functioning]]&#039;&#039;&#039;, which is to some extent equivalent to the tokens transfer algorithm in Petri nets, and&lt;br /&gt;
* &#039;&#039;&#039;[[Algorithm for generalized net functioning]]&#039;&#039;&#039;.&lt;br /&gt;
&lt;br /&gt;
The algorithm for transition functioning was [[Algorithm for transition functioning#Modified algorithm, 2007|later modified]] in 2007 &amp;lt;ref&amp;gt;Atanassov K., Tasseva V., Trifonov T., [[Issue:Modification of the algorithm for token transfer in generalized nets|]], Cybernetics and Information Technologies, Vol.  7, 2007, Np. 1, 62-66&amp;lt;/ref&amp;gt;. &lt;br /&gt;
&lt;br /&gt;
&#039;&#039;Theorem 20&#039;&#039; in the book &amp;quot;[[On Generalized Nets Theory]]&amp;quot; from 2007 year &amp;lt;ref&amp;gt;Atanassov K., [[On Generalized Nets Theory]], &amp;quot;Professor Marin Drinov&amp;quot; Academic Publishing House, 2007, ISBN 978-954-322-237-7 &amp;lt;/ref&amp;gt; states that the functioning and the results of the work of a given GN transition are equal for both algorithms, yet the difference between both algorithms is that in almost any case the modified algorithm yields results more quickly.&lt;br /&gt;
&lt;br /&gt;
== Reduced generalized nets ==&lt;br /&gt;
== Extensions of generalized nets ==&lt;br /&gt;
Generalized nets have been subject of multiple different extensions. For each of these it has been proved that represents a &#039;&#039;conservative extension&#039;&#039;, i.e. there exists an ordinary generalized net which describes the extended GN, i.e. both nets have the same modelling capabilities. &lt;br /&gt;
&lt;br /&gt;
The following extensions of GNs have been determined so far:&lt;br /&gt;
* [[Intuitionistic fuzzy generalized nets of type 1]]&lt;br /&gt;
* [[Intuitionistic fuzzy generalized nets of type 2]]&lt;br /&gt;
* [[Intuitionistic fuzzy generalized nets of type 3]]&lt;br /&gt;
* [[Intuitionistic fuzzy generalized nets of type 4]]&lt;br /&gt;
* [[Colour generalized nets]]&lt;br /&gt;
* [[Generalized nets with interval activation time]]&lt;br /&gt;
* [[Generalized nets with complex structure]]&lt;br /&gt;
* [[Generalized nets with global memory]]&lt;br /&gt;
* [[Generalized nets with optimization components]]&lt;br /&gt;
* [[Generalized nets with additional clocks]]&lt;br /&gt;
* [[Opposite generalized nets]]&lt;br /&gt;
* [[Generalized nets with three-dimensional structure]]&lt;br /&gt;
&lt;br /&gt;
== Theoretical aspects of generalized nets ==&lt;br /&gt;
=== Algebraic aspect ===&lt;br /&gt;
=== Topological aspect ===&lt;br /&gt;
=== Logical aspect ===&lt;br /&gt;
=== Functional aspect ===&lt;br /&gt;
* [[Global operators over generalized nets|Global operators]]&lt;br /&gt;
* [[Local operators over generalized nets|Local operators]]&lt;br /&gt;
* [[Hierarchical operators over generalized nets|Hierarchical operators]]&lt;br /&gt;
* [[Reducing operators over generalized nets|Reducing operators]]&lt;br /&gt;
* [[Extending operators over generalized nets|Extending operators]]&lt;br /&gt;
* [[Dynamic operators over generalized nets|Dynamic operators]]&lt;br /&gt;
&lt;br /&gt;
== Construction of generalized nets ==&lt;br /&gt;
== Modelling and simulation ==&lt;br /&gt;
== Software implementation of generalized nets ==&lt;br /&gt;
&lt;br /&gt;
== See also ==&lt;br /&gt;
* [[Theory of generalized nets]]&lt;br /&gt;
* [[Applications of generalized nets]]&lt;br /&gt;
* [[History of generalized nets]]&lt;br /&gt;
* [[List of GN terms]]&lt;br /&gt;
&lt;br /&gt;
== References ==&lt;br /&gt;
&lt;br /&gt;
[[Category:Generalized nets]]&lt;br /&gt;
{{stub}}&lt;/div&gt;</summary>
		<author><name>Nikolay Ikonomov</name></author>
	</entry>
	<entry>
		<id>https://ifigenia.org/index.php?title=Generalized_nets&amp;diff=11176</id>
		<title>Generalized nets</title>
		<link rel="alternate" type="text/html" href="https://ifigenia.org/index.php?title=Generalized_nets&amp;diff=11176"/>
		<updated>2022-04-02T10:44:08Z</updated>

		<summary type="html">&lt;p&gt;Nikolay Ikonomov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&#039;&#039;&#039;Generalized nets&#039;&#039;&#039; (&#039;&#039;GNs&#039;&#039;) constitute a discrete tool for universal description of adaptable, flexible, structured and reusable models of complex systems with many different and interacting components, not necessarily of the homogeneous structure and origin, usually involved in parallel, simultaneous activities. Generalized nets represent a significant extension and generalization of the concept of [[Petri nets]], as well as of other [[Extensions of Petri nets|Petri nets extensions and modifications]].&lt;br /&gt;
&lt;br /&gt;
== Components of a generalized net ==&lt;br /&gt;
[[Image:GN-transition-mxn.png|right|thumb|25oxp|A GN transition with &#039;&#039;m&#039;&#039; inputs and &#039;&#039;n&#039;&#039; outputs]]&lt;br /&gt;
&lt;br /&gt;
A generalized net consists of:&lt;br /&gt;
* a static structure,&lt;br /&gt;
* a dynamic structure,&lt;br /&gt;
* temporal components.&lt;br /&gt;
&lt;br /&gt;
[[File:Priroda 4 2021 cover 1.pdf|thumb]]&lt;br /&gt;
&lt;br /&gt;
The &#039;&#039;&#039;&#039;&#039;static structure&#039;&#039;&#039;&#039;&#039; consists of objects called &#039;&#039;[[transition]]s&#039;&#039;, which have input and output &#039;&#039;[[place]]s&#039;&#039;. Two transitions can share a place, but every place can be an input of at most one transition and can be an output of at most one transition.&lt;br /&gt;
&lt;br /&gt;
The &#039;&#039;&#039;&#039;&#039;dynamic structure&#039;&#039;&#039;&#039;&#039; consists of &#039;&#039;[[token]]s&#039;&#039;, which act as information carriers and can occupy a single place at every moment of the GN execution. The tokens pass through the transition from one input to another output place; such an ordered pair of places is called &#039;&#039;[[transition arc]]&#039;&#039;. The tokens&#039; movement is governed by conditions (&#039;&#039;predicates&#039;&#039;), contained in the [[predicate matrix]] of the transition. &lt;br /&gt;
&lt;br /&gt;
The information carried by a token is contained in its [[token characteristics|characteristics]], which can be viewed as an associative array of characteristic names and values. The values of the token characteristics change in time according to specific rules, called &#039;&#039;[[characteristic function]]s&#039;&#039;. Every place possesses at most one characteristic function, which assigns new characteristics to the incoming tokens. Apart from movement in the net and change of the characteristics, tokens can also split and merge in the places.&lt;br /&gt;
&lt;br /&gt;
The &#039;&#039;&#039;&#039;&#039;temporal components&#039;&#039;&#039;&#039;&#039; describe the time scale of GN execution. &#039;&#039;Temporal conditions&#039;&#039; control the transitions&#039; moments of activation and duration of active state. Various other tools for fine tuning of the GN functioning are provided in the form of &#039;&#039;priorities&#039;&#039; of separate transitions, places and tokens, as well as &#039;&#039;capacities&#039;&#039; of places and transitions arcs.&lt;br /&gt;
&lt;br /&gt;
=== Graphic representation ===&lt;br /&gt;
&lt;br /&gt;
== Formal description ==&lt;br /&gt;
&lt;br /&gt;
Formally described, the generalized net is represented by the following four-tuple:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&amp;lt;math&amp;gt;&lt;br /&gt;
&amp;lt; \underbrace{ &amp;lt;A, \pi_{A}, \pi_{L}, c, f, \theta_{1}, \theta_{2} &amp;gt;}_{1.\ Static \ structure},&lt;br /&gt;
  \underbrace{ &amp;lt;K, \pi_{K}, \theta_{K} &amp;gt;}_{2. \ Dynamic \ structure},&lt;br /&gt;
  \underbrace{ &amp;lt;T, t^{0}, t^{*} &amp;gt;}_{3. \ Time},&lt;br /&gt;
  \underbrace{ &amp;lt;X, \Phi, b &amp;gt;}_{4. \ Memory} &amp;gt;&lt;br /&gt;
&amp;lt;/math&amp;gt;&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where:&lt;br /&gt;
; &#039;&#039;1. Static structure&#039;&#039;&lt;br /&gt;
* &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt; is a &#039;&#039;set of transitions&#039;&#039; (see the [[Transition#Formal description|formal definition of a transition]])&lt;br /&gt;
* &amp;lt;math&amp;gt;\pi_{A}&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;priorities of the transitions&#039;&#039;, i.e. &amp;lt;math&amp;gt;\pi_{A} : A \rightarrow N&amp;lt;/math&amp;gt; where N = {0, 1, 2, ...} ∪ {∞}&lt;br /&gt;
* &amp;lt;math&amp;gt;\pi_{L}&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;priorities of the places&#039;&#039;, i.e. &amp;lt;math&amp;gt;\pi_{L} : L \rightarrow N&amp;lt;/math&amp;gt; &lt;br /&gt;
* &amp;lt;math&amp;gt;c&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;place capacities&#039;&#039;, i.e. &amp;lt;math&amp;gt;c : L \rightarrow N&amp;lt;/math&amp;gt; &lt;br /&gt;
* &amp;lt;math&amp;gt;f&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;truth value of the predicates&#039;&#039;. In the basic case, it may obtain values &amp;quot;true&amp;quot; (1) and &amp;quot;false&amp;quot; (0). In [[fuzzy generalized net]]s its domain is the [0;1] interval (see [[fuzzy set]]) and in the [[intuitionistic fuzzy generalized net]]s its domain is the set [0;1]×[0;1] (see [[intuitionistic fuzzy set]]).&lt;br /&gt;
* &amp;lt;math&amp;gt;\theta_{1}&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;next time moment&#039;&#039; when a given transition will be fired (will become active). Hence, &amp;lt;math&amp;gt;\theta_{1}(t) = t&#039;&amp;lt;/math&amp;gt; where &amp;lt;math&amp;gt;t, t&#039; \in [T, T+t^*]; t \le t&#039;&amp;lt;/math&amp;gt;. The value of this function is being recalculated in the moment when the transition&#039;s active state ceases.&lt;br /&gt;
* &amp;lt;math&amp;gt;\theta_{2}&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;duration of the transition&#039;s active state&#039;&#039;.  Hence, &amp;lt;math&amp;gt;\theta_{2}(t) = t&#039;&amp;lt;/math&amp;gt; where &amp;lt;math&amp;gt;t, t&#039; \in [T, T+t^*]; t&#039; \ge 0&amp;lt;/math&amp;gt;. The value of this function is calculated in the moment when the transition&#039;s active state begins.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
; &#039;&#039;2. Dynamic structure&#039;&#039;&lt;br /&gt;
* &amp;lt;math&amp;gt;K&amp;lt;/math&amp;gt; is the &#039;&#039;set of tokens&#039;&#039; of the generalized net. In certain cases it is more convenient to denote this set as &amp;lt;math&amp;gt;K = \bigcup_{l \in Q^I} K_{l} &amp;lt;/math&amp;gt; where &amp;lt;math&amp;gt;K_{l}&amp;lt;/math&amp;gt; is the set of all GN tokens which are waiting to enter place &amp;lt;math&amp;gt;l&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;Q^I&amp;lt;/math&amp;gt; is the set of all input places in the net.&lt;br /&gt;
* &amp;lt;math&amp;gt;\pi_K&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;priorities of the tokens&#039;&#039;, i.e. &amp;lt;math&amp;gt;\pi_{K} : K \rightarrow N&amp;lt;/math&amp;gt; &lt;br /&gt;
* &amp;lt;math&amp;gt;\theta_K&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;moment of time when a given token may enter&#039;&#039; the GN, i.e. &amp;lt;math&amp;gt;\theta_K (\alpha)=t&amp;lt;/math&amp;gt; where &amp;lt;math&amp;gt;\alpha \in K, t \in [T; T+t^*]&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
; &#039;&#039;3. Time&#039;&#039;&lt;br /&gt;
* &amp;lt;math&amp;gt;T&amp;lt;/math&amp;gt; is the moment of time when the generalized net starts functioning. This moment is determined according to a fixed global timescale.&lt;br /&gt;
* &amp;lt;math&amp;gt;t^0&amp;lt;/math&amp;gt; is the elementary time step of the fixed global timescale (the interval with which time increments in the timescale).&lt;br /&gt;
* &amp;lt;math&amp;gt;t^*&amp;lt;/math&amp;gt; is the total duration of functioning of the net.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
; &#039;&#039;4. Memory&#039;&#039;&lt;br /&gt;
* &amp;lt;math&amp;gt;X&amp;lt;/math&amp;gt; is the &#039;&#039;set of initial characteristics&#039;&#039;, which tokens may exhibit when they enter the net for first.&lt;br /&gt;
* &amp;lt;math&amp;gt;\Phi&amp;lt;/math&amp;gt; is a &#039;&#039;characteristic function&#039;&#039;, which assigns a new characteristic to each token when it makes the transfer from an input to an output place of a given transition.&lt;br /&gt;
* &amp;lt;math&amp;gt;b&amp;lt;/math&amp;gt; is a function giving the &#039;&#039;maximal number of characteristics&#039;&#039;, which a given token may obtain during its movement throughout the net, i.e. &amp;lt;math&amp;gt;b : K \rightarrow N&amp;lt;/math&amp;gt;. In general, &amp;lt;math&amp;gt;b&amp;lt;/math&amp;gt; may possess four different values: 0, 1, &amp;lt;math&amp;gt;s&amp;lt;/math&amp;gt; or &amp;lt;math&amp;gt;\infty&amp;lt;/math&amp;gt; meaning that the token keeps, respectively: none of its characteristics, its last characteristic, its last &amp;lt;math&amp;gt;s&amp;lt;/math&amp;gt; characteristics, or all of its characteristics obtained during its movement in the net.&lt;br /&gt;
&lt;br /&gt;
=== Algorithms related to generalized nets ===&lt;br /&gt;
In a Petri net implementation, parallelism is reduced to a sequential firing of the net transitions and in general the order of their activation is probabilistic or dependent on the transitions&#039; priorities, if any. The respective algorithms for generalized nets enable a more detailed modelling of the described process. &lt;br /&gt;
&lt;br /&gt;
In the the book &amp;quot;[[Generalized Nets (World Scientific)|Generalized Nets]]&amp;quot; from 1991 year &amp;lt;ref&amp;gt;Atanassov K., &amp;quot;Generalized Nets&amp;quot;, World Scientific, Singapore, 1991, ISBN 978-981-02-0598-0&amp;lt;/ref&amp;gt;, there were formulated two major algorithms, related to generalized nets:&lt;br /&gt;
* &#039;&#039;&#039;[[Algorithm for transition functioning]]&#039;&#039;&#039;, which is to some extent equivalent to the tokens transfer algorithm in Petri nets, and&lt;br /&gt;
* &#039;&#039;&#039;[[Algorithm for generalized net functioning]]&#039;&#039;&#039;.&lt;br /&gt;
&lt;br /&gt;
The algorithm for transition functioning was [[Algorithm for transition functioning#Modified algorithm, 2007|later modified]] in 2007 &amp;lt;ref&amp;gt;Atanassov K., Tasseva V., Trifonov T., [[Issue:Modification of the algorithm for token transfer in generalized nets|]], Cybernetics and Information Technologies, Vol.  7, 2007, Np. 1, 62-66&amp;lt;/ref&amp;gt;. &lt;br /&gt;
&lt;br /&gt;
&#039;&#039;Theorem 20&#039;&#039; in the book &amp;quot;[[On Generalized Nets Theory]]&amp;quot; from 2007 year &amp;lt;ref&amp;gt;Atanassov K., [[On Generalized Nets Theory]], &amp;quot;Professor Marin Drinov&amp;quot; Academic Publishing House, 2007, ISBN 978-954-322-237-7 &amp;lt;/ref&amp;gt; states that the functioning and the results of the work of a given GN transition are equal for both algorithms, yet the difference between both algorithms is that in almost any case the modified algorithm yields results more quickly.&lt;br /&gt;
&lt;br /&gt;
== Reduced generalized nets ==&lt;br /&gt;
== Extensions of generalized nets ==&lt;br /&gt;
Generalized nets have been subject of multiple different extensions. For each of these it has been proved that represents a &#039;&#039;conservative extension&#039;&#039;, i.e. there exists an ordinary generalized net which describes the extended GN, i.e. both nets have the same modelling capabilities. &lt;br /&gt;
&lt;br /&gt;
The following extensions of GNs have been determined so far:&lt;br /&gt;
* [[Intuitionistic fuzzy generalized nets of type 1]]&lt;br /&gt;
* [[Intuitionistic fuzzy generalized nets of type 2]]&lt;br /&gt;
* [[Intuitionistic fuzzy generalized nets of type 3]]&lt;br /&gt;
* [[Intuitionistic fuzzy generalized nets of type 4]]&lt;br /&gt;
* [[Colour generalized nets]]&lt;br /&gt;
* [[Generalized nets with interval activation time]]&lt;br /&gt;
* [[Generalized nets with complex structure]]&lt;br /&gt;
* [[Generalized nets with global memory]]&lt;br /&gt;
* [[Generalized nets with optimization components]]&lt;br /&gt;
* [[Generalized nets with additional clocks]]&lt;br /&gt;
* [[Opposite generalized nets]]&lt;br /&gt;
* [[Generalized nets with three-dimensional structure]]&lt;br /&gt;
&lt;br /&gt;
== Theoretical aspects of generalized nets ==&lt;br /&gt;
=== Algebraic aspect ===&lt;br /&gt;
=== Topological aspect ===&lt;br /&gt;
=== Logical aspect ===&lt;br /&gt;
=== Functional aspect ===&lt;br /&gt;
* [[Global operators over generalized nets|Global operators]]&lt;br /&gt;
* [[Local operators over generalized nets|Local operators]]&lt;br /&gt;
* [[Hierarchical operators over generalized nets|Hierarchical operators]]&lt;br /&gt;
* [[Reducing operators over generalized nets|Reducing operators]]&lt;br /&gt;
* [[Extending operators over generalized nets|Extending operators]]&lt;br /&gt;
* [[Dynamic operators over generalized nets|Dynamic operators]]&lt;br /&gt;
&lt;br /&gt;
== Construction of generalized nets ==&lt;br /&gt;
== Modelling and simulation ==&lt;br /&gt;
== Software implementation of generalized nets ==&lt;br /&gt;
&lt;br /&gt;
== See also ==&lt;br /&gt;
* [[Theory of generalized nets]]&lt;br /&gt;
* [[Applications of generalized nets]]&lt;br /&gt;
* [[History of generalized nets]]&lt;br /&gt;
* [[List of GN terms]]&lt;br /&gt;
&lt;br /&gt;
== References ==&lt;br /&gt;
&lt;br /&gt;
[[Category:Generalized nets]]&lt;br /&gt;
{{stub}}&lt;/div&gt;</summary>
		<author><name>Nikolay Ikonomov</name></author>
	</entry>
	<entry>
		<id>https://ifigenia.org/index.php?title=Notes_on_Intuitionistic_Fuzzy_Sets/24/4&amp;diff=10097</id>
		<title>Notes on Intuitionistic Fuzzy Sets/24/4</title>
		<link rel="alternate" type="text/html" href="https://ifigenia.org/index.php?title=Notes_on_Intuitionistic_Fuzzy_Sets/24/4&amp;diff=10097"/>
		<updated>2018-12-17T13:58:04Z</updated>

		<summary type="html">&lt;p&gt;Nikolay Ikonomov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&amp;lt;noinclude&amp;gt;&#039;&#039;&#039;[[Notes on Intuitionistic Fuzzy Sets]], [[Notes on Intuitionistic Fuzzy Sets/24|Volume 24 (2018)]], Number 4.&#039;&#039;&#039;  DOI: [https://doi.org/10.7546/nifs.2018.24.4 10.7546/nifs.2018.24.4]&lt;br /&gt;
&lt;br /&gt;
== Journal contents ==&amp;lt;/noinclude&amp;gt;&lt;br /&gt;
{{journal-contents/header}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 1&lt;br /&gt;
 |title   = [[Issue:In Memoriam: Professor Beloslav Riečan|In Memoriam: Professor Beloslav Riečan]]&lt;br /&gt;
 |authors =  [[Katarína Čunderlíková]] &lt;br /&gt;
 |pages   = 1—4&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 2&lt;br /&gt;
 |title   = [[Issue:On some methods of study of states on interval valued fuzzy sets|On some methods of study of states on interval valued fuzzy sets]]&lt;br /&gt;
 |authors = [[Alžbeta Michalíková]] and &amp;lt;span style=&amp;quot;border:1pt solid black&amp;quot;&amp;gt;[[Beloslav Riečan]]&amp;lt;/span&amp;gt;&lt;br /&gt;
 |pages   = 5—12&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 3&lt;br /&gt;
 |title   =  [[Issue:A note on a family of multiplicative and additive mappings preserving the class IFS(X)|A note on a family of multiplicative and additive mappings preserving the class IFS(X)]]&lt;br /&gt;
 |authors = [[Peter Vassilev]]&lt;br /&gt;
 |pages   = 13—19&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 4&lt;br /&gt;
 |title   = [[Issue:Shrinking operators over interval-valued intuitionistic fuzzy sets|Shrinking operators over interval-valued intuitionistic fuzzy sets]]&lt;br /&gt;
 |authors = [[Krassimir Atanassov]], [[Eulalia Szmidt]] and [[Janusz Kacprzyk]]&lt;br /&gt;
 |pages   = 20—28&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 5&lt;br /&gt;
 |title   = [[Issue:Modified level operator N&amp;amp;gamma;1&amp;amp;gamma;2 applied over interval-valued intuitionistic fuzzy sets|Modified level operator &amp;lt;math&amp;gt;N_{\gamma_1}^{\gamma_2}&amp;lt;/math&amp;gt; applied over interval-valued intuitionistic fuzzy sets]]&lt;br /&gt;
 |authors = [[Vassia Atanassova]]  &lt;br /&gt;
 |pages   = 29—39&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 6&lt;br /&gt;
 |title   = [[Issue:Upper and lower limits and m-almost everywhere convergence of intuitionistic fuzzy observables|Upper and lower limits and m-almost everywhere convergence of intuitionistic fuzzy observables]]&lt;br /&gt;
 |authors = [[Katarína Čunderlíková]]&lt;br /&gt;
 |pages   = 40—49&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 7&lt;br /&gt;
 |title   = [[Issue:Complex trapezoidal intuitionistic fuzzy numbers|Complex trapezoidal intuitionistic fuzzy numbers]]&lt;br /&gt;
 |authors = [[R. Parvathi]] and [[J. Akila Padmasree]]&lt;br /&gt;
 |pages   = 50—62&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 8&lt;br /&gt;
 |title   = [[Issue:Selection of the attributes in intuitionistic fuzzy models|Selection of the attributes in intuitionistic fuzzy models]]&lt;br /&gt;
 |authors = [[Eulalia Szmidt]] and [[Janusz Kacprzyk]]&lt;br /&gt;
 |pages   = 63—71&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 9&lt;br /&gt;
 |title   = [[Issue:Intuitionistic fuzzy Dirichlet problem|Intuitionistic fuzzy Dirichlet problem]]&lt;br /&gt;
 |authors = [[S. Melliani]], [[I. Bakhadach]], [[M. Elomari]] and [[L. S. Chadli]]&lt;br /&gt;
 |pages   = 72—84&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 10&lt;br /&gt;
 |title   = [[Issue:Radical structures of intuitionistic fuzzy polynomial ideals of a ring|Radical structures of intuitionistic fuzzy polynomial ideals of a ring]]&lt;br /&gt;
 |authors = [[P. K. Sharma]] and [[Gagandeep Kaur]]&lt;br /&gt;
 |pages   = 85—96&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 11&lt;br /&gt;
 |title   = [[Issue:On intuitionistic fuzzy prime submodules|On intuitionistic fuzzy prime submodules]]&lt;br /&gt;
 |authors = [[P. K. Sharma]] and [[Gagandeep Kaur]]&lt;br /&gt;
 |pages   = 97—112&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 12&lt;br /&gt;
 |title   = [[Issue:Difference and symmetric difference for intuitionistic fuzzy sets|Difference and symmetric difference for intuitionistic fuzzy sets]]&lt;br /&gt;
 |authors = [[Taiwo Enayon Sunday]], [[Romuald Dzati Kamga]], [[Siméon Fotso]] and [[Louis Aimé Fono]]&lt;br /&gt;
 |pages   = 113—140&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 13&lt;br /&gt;
 |title   = [[Issue:System of intuitionistic fuzzy differential equations with intuitionistic fuzzy initial values|System of intuitionistic fuzzy differential equations with intuitionistic fuzzy initial values]]&lt;br /&gt;
 |authors = [[Ömer Akin]] and [[Selami Bayeğ]]&lt;br /&gt;
 |pages   = 141—171&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 14&lt;br /&gt;
 |title   = [[Issue:Optimization of EOQ model with space constraint: An intuitionistic fuzzy geometric programming approach|Optimization of EOQ model with space constraint: An intuitionistic fuzzy geometric programming approach]]&lt;br /&gt;
 |authors = [[Bappa Mondal]], [[Arindam Garai]] and [[Tapan Kumar Roy]]&lt;br /&gt;
 |pages   = 172—189&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/row&lt;br /&gt;
 |number  = 15&lt;br /&gt;
 |title   = [[Issue:Interval-valued intuitionistic fuzzy sets as tools for evaluation of data mining processes|Interval-valued intuitionistic fuzzy sets as tools for evaluation of data mining processes]]&lt;br /&gt;
 |authors = [[Krassimir Atanassov]]&lt;br /&gt;
 |pages   = 190—202&lt;br /&gt;
}}&lt;br /&gt;
{{journal-contents/footer}}&lt;br /&gt;
This issue of Int. Journal &amp;quot;Notes on Intuitionistic Fuzzy Sets&amp;quot; is published with the financial support of the Bulgarian National Science Fund, Grant Ref. No. DNP-06-8/2017.&lt;br /&gt;
&amp;lt;noinclude&amp;gt;&lt;br /&gt;
[[Category:Notes on IFS|24]]&lt;br /&gt;
&amp;lt;/noinclude&amp;gt;&lt;/div&gt;</summary>
		<author><name>Nikolay Ikonomov</name></author>
	</entry>
	<entry>
		<id>https://ifigenia.org/index.php?title=Issue:Modified_level_operator_N%CE%B31%CE%B32_applied_over_interval-valued_intuitionistic_fuzzy_sets&amp;diff=10096</id>
		<title>Issue:Modified level operator Nγ1γ2 applied over interval-valued intuitionistic fuzzy sets</title>
		<link rel="alternate" type="text/html" href="https://ifigenia.org/index.php?title=Issue:Modified_level_operator_N%CE%B31%CE%B32_applied_over_interval-valued_intuitionistic_fuzzy_sets&amp;diff=10096"/>
		<updated>2018-12-17T13:55:34Z</updated>

		<summary type="html">&lt;p&gt;Nikolay Ikonomov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;[[Category:Publications on intuitionistic fuzzy sets|{{PAGENAME}}]]&lt;br /&gt;
[[Category:Publications in Notes on IFS|{{PAGENAME}}]]&lt;br /&gt;
[[Category:Publications in 2018 year|{{PAGENAME}}]]&lt;br /&gt;
{{issue/title&lt;br /&gt;
 | title           = Modified level operator &amp;lt;math&amp;gt;N_{\gamma_1}^{\gamma_2}&amp;lt;/math&amp;gt; applied over interval-valued intuitionistic fuzzy sets &lt;br /&gt;
 | shortcut        = nifs/24/4/29-39&lt;br /&gt;
}}&lt;br /&gt;
{{issue/author&lt;br /&gt;
 | author          = Vassia Atanassova	&lt;br /&gt;
 | institution     = Institute of Biophysics and Biomedical Engineering, Bulgarian Academy of Sciences&lt;br /&gt;
 | address         = Acad. G. Bonchev Str., Bl. 105, Sofia-1113, Bulgaria&lt;br /&gt;
 | email-before-at = vassia.atanassova&lt;br /&gt;
 | email-after-at  = gmail.com&lt;br /&gt;
}}&lt;br /&gt;
{{issue/data&lt;br /&gt;
 | issue           = [[Notes on Intuitionistic Fuzzy Sets/24/4|Notes on Intuitionistic Fuzzy Sets, Volume 24 (2018), Number 4]], pages 29–39&lt;br /&gt;
 | doi             = https://doi.org/10.7546/nifs.2018.24.4.29-39&lt;br /&gt;
 | file            = NIFS-24-4-029-039.pdf&lt;br /&gt;
 | format          = PDF&lt;br /&gt;
 | size            = 158 Kb&lt;br /&gt;
 | abstract        = The recently proposed intuitionistic fuzzy level operator &amp;lt;math&amp;gt;N_\gamma&amp;lt;/math&amp;gt; generates a subset of an intuitionistic fuzzy set &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt;, where the elements of the subset are those elements of &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt;, for which the ratio of their degrees of membership to their degrees of non-membership is greater than or equal to a given constant &amp;lt;math&amp;gt;\gamma &amp;gt; 0&amp;lt;/math&amp;gt;. Here we propose a continuation of this idea from the case of intuitionistic fuzzy sets to the case of interval-valued intuitionistic fuzzy sets. This modification requires us to introduce a second constant, i.e. &amp;lt;math&amp;gt;\gamma_1,\gamma_2 &amp;gt; 0&amp;lt;/math&amp;gt;. We show that there are twenty possible scenarios for the mutual position of the intervalized level operator &amp;lt;math&amp;gt;N_{\gamma_1}^{\gamma_2}&amp;lt;/math&amp;gt; and the element of the interval-valued intuitionistic fuzzy set, and give the respective formulas which calculate in each case the membership and non-membership degrees with which the IVIFS element belongs to the set defined by the operator &amp;lt;math&amp;gt;N_{\gamma_1}^{\gamma_2}&amp;lt;/math&amp;gt;. These twenty scenarios are graphically interpreted in the intuitionistic fuzzy interpretational triangle, and the respective formulas have been derived. In conclusion, further ideas of research have been suggested.&lt;br /&gt;
 | keywords        = Interval valued intuitionistic fuzzy sets, Intuitionistic fuzzy sets, Level operator, Decision making under uncertainty.&lt;br /&gt;
 | ams             = 03E72.&lt;br /&gt;
 | references      = &lt;br /&gt;
&lt;br /&gt;
# Atanassov, K. T. (1983). Intuitionistic fuzzy sets. VII ITKR Session, Sofia, 20-23 June 1983 (Deposed in Centr. Sci.-Techn. Library of the Bulg. Acad. of Sci., 1697/84) (in Bulgarian). Reprinted: Int. J. Bioautomation, 2016, 20(S1), S1–S6.&lt;br /&gt;
# Atanassov K. T. (1989). Geometrical Interpretation of the Elements of the Intuitionistic Fuzzy Objects, Mathematical Foundations of Artificial Intelligence Seminar, Sofia, 1989, Preprint IM-MFAIS-1-89. Reprinted: Int J Bioautomation, 2016, 20(S1), S27–S42.&lt;br /&gt;
# Atanassov, K. T. (1999). Intuitionistic Fuzzy Sets: Theory and Applications. Physica- Verlag, Heidelberg.&lt;br /&gt;
# Atanassov, K. T., &amp;amp; Gargov, G. (1999). Interval valued intuitionistic fuzzy sets. Fuzzy Sets and Systems, 31(3), 343–349.&lt;br /&gt;
# Atanassova, V. (2017). New modified level operator Nγ over intuitionistic fuzzy sets. In: Christiansen H., Jaudoin H., Chountas P., Andreasen T., Legind Larsen H. (eds) Flexible Query Answering Systems. FQAS 2017. Lecture Notes in Computer Science, vol 10333. Springer, Cham, 209–214.&lt;br /&gt;
# Doukovska, L., Atanassova, V., Mavrov, D., &amp;amp; Radeva, I. (2018). Intercriteria Analysis of EU Competitiveness Using the Level Operator Nγ. In: Kacprzyk J., Szmidt E., Zadrożny S., Atanassov K., Krawczak M. (eds) Advances in Fuzzy Logic and Technology 2017. EUSFLAT 2017, IWIFSGN 2017. Advances in Intelligent Systems and Computing, Vol 641. Springer, Cham, 631–647.&lt;br /&gt;
# Gottman, J. (1995). Why Marriages Succeed or Fail: And How You Can Make Yours Last. Simon and Schuster.&lt;br /&gt;
&lt;br /&gt;
 | citations       = &lt;br /&gt;
 | see-also        = &lt;br /&gt;
}}&lt;/div&gt;</summary>
		<author><name>Nikolay Ikonomov</name></author>
	</entry>
</feed>