<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD Journal Publishing DTD v2.3 20070202//EN" "journalpublishing.dtd">
<article article-type="research-article" dtd-version="2.3" xml:lang="EN" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">
<front>
<journal-meta>
<journal-id journal-id-type="publisher-id">Front. Netw. Physiol.</journal-id>
<journal-title>Frontiers in Network Physiology</journal-title>
<abbrev-journal-title abbrev-type="pubmed">Front. Netw. Physiol.</abbrev-journal-title>
<issn pub-type="epub">2674-0109</issn>
<publisher>
<publisher-name>Frontiers Media S.A.</publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">873337</article-id>
<article-id pub-id-type="doi">10.3389/fnetp.2022.873337</article-id>
<article-categories>
<subj-group subj-group-type="heading">
<subject>Network Physiology</subject>
<subj-group>
<subject>Original Research</subject>
</subj-group>
</subj-group>
</article-categories>
<title-group>
<article-title>Generalized Net Model of the Foreign Object Principle and its Network Physiology Interpretations</article-title>
<alt-title alt-title-type="left-running-head">Atanassov et al.</alt-title>
<alt-title alt-title-type="right-running-head">GN Model of Foreign Object Principle</alt-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname>Atanassov</surname>
<given-names>Krassimir</given-names>
</name>
<xref ref-type="aff" rid="aff1">
<sup>1</sup>
</xref>
<uri xlink:href="https://loop.frontiersin.org/people/1384434/overview"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname>Staneva</surname>
<given-names>Galya</given-names>
</name>
<xref ref-type="aff" rid="aff2">
<sup>2</sup>
</xref>
</contrib>
<contrib contrib-type="author" corresp="yes">
<name>
<surname>Pencheva</surname>
<given-names>Tania</given-names>
</name>
<xref ref-type="aff" rid="aff3">
<sup>3</sup>
</xref>
<xref ref-type="corresp" rid="c001">&#x2a;</xref>
<uri xlink:href="https://loop.frontiersin.org/people/1401052/overview"/>
</contrib>
</contrib-group>
<aff id="aff1">
<sup>1</sup>
<institution>Department of Bioinformatics and Mathematical Modelling</institution>, <institution>Institute of Biophysics and Biomedical Engineering</institution>, <institution>Bulgarian Academy of Sciences</institution>, <addr-line>Sofia</addr-line>, <country>Bulgaria</country>
</aff>
<aff id="aff2">
<sup>2</sup>
<institution>Department of Lipid-protein Interactions</institution>, <institution>Institute of Biophysics and Biomedical Engineering</institution>, <institution>Bulgarian Academy of Sciences</institution>, <addr-line>Sofia</addr-line>, <country>Bulgaria</country>
</aff>
<aff id="aff3">
<sup>3</sup>
<institution>Department of QSAR and Molecular Modelling</institution>, <institution>Institute of Biophysics and Biomedical Engineering</institution>, <institution>Bulgarian Academy of Sciences</institution>, <addr-line>Sofia</addr-line>, <country>Bulgaria</country>
</aff>
<author-notes>
<fn fn-type="edited-by">
<p>
<bold>Edited by:</bold> <ext-link ext-link-type="uri" xlink:href="https://loop.frontiersin.org/people/948603/overview">Pedro Melo Pinto</ext-link>, University of Tr&#xe1;s-os-Montes and Alto Douro, Portugal</p>
</fn>
<fn fn-type="edited-by">
<p>
<bold>Reviewed by:</bold> <ext-link ext-link-type="uri" xlink:href="https://loop.frontiersin.org/people/1402217/overview">Panagiotis Chountas</ext-link>, University of Westminster, United Kingdom</p>
<p>
<ext-link ext-link-type="uri" xlink:href="https://loop.frontiersin.org/people/1433572/overview">Javier Fernandez</ext-link>, Public University of Navarre, Spain</p>
</fn>
<corresp id="c001">&#x2a;Correspondence: Tania Pencheva, <email>tania.pencheva@biomed.bas.bg</email>
</corresp>
<fn fn-type="other">
<p>This article was submitted to Generalized Nets and Fuzzy Sets, a section of the journal Frontiers in Network Physiology</p>
</fn>
</author-notes>
<pub-date pub-type="epub">
<day>20</day>
<month>04</month>
<year>2022</year>
</pub-date>
<pub-date pub-type="collection">
<year>2022</year>
</pub-date>
<volume>2</volume>
<elocation-id>873337</elocation-id>
<history>
<date date-type="received">
<day>10</day>
<month>02</month>
<year>2022</year>
</date>
<date date-type="accepted">
<day>15</day>
<month>03</month>
<year>2022</year>
</date>
</history>
<permissions>
<copyright-statement>Copyright &#xa9; 2022 Atanassov, Staneva and Pencheva.</copyright-statement>
<copyright-year>2022</copyright-year>
<copyright-holder>Atanassov, Staneva and Pencheva</copyright-holder>
<license xlink:href="http://creativecommons.org/licenses/by/4.0/">
<p>This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.</p>
</license>
</permissions>
<abstract>
<p>The Foreign Object Principle has been introduced in a formalized form for first time. Proven as a suitable tool for modelling of parallel processes flowing in real time, the generalized nets have been used for an interpretation of the Foreign Object Principle. It is illustrated by some examples from network physiology.</p>
</abstract>
<kwd-group>
<kwd>foreign object principle</kwd>
<kwd>generalized net</kwd>
<kwd>model</kwd>
<kwd>index matrix</kwd>
<kwd>network physiology interpretation</kwd>
</kwd-group>
</article-meta>
</front>
<body>
<sec id="s1">
<title>1 Introduction</title>
<p>The human being is probably the most complex system ever known, no matter if one considers live or inanimate nature. Living organisms, and in particular&#x2014;human beings, function as an autonomous complex of organ systems, organs, tissues, cell, etc. Meanwhile, the processes in the human body may be considered in some way in vertical axes&#x2014;at different hierarchical levels of aforementioned organs, tissues, cell, etc., as well as&#x2014;at the horizontal level, with all connections in the levels of organs, of tissues, of cells. The human body may be considered as a kind of continuous repetition of the principle of impact and reaction, from one hand&#x2014;between the human body and the environment, and from the other hand&#x2014;within the human body.</p>
<p>A plenty of models of human body are well known to the both scientific community and wider audience&#x2014;graphical, descriptive ones, mathematical, physical, physico-chemical, biochemical ones, mechanistic, deterministic ones, etc. In this investigation, a model of the human body as an autonomous complex system, based on the apparatus of Generalized Nets [GNs, (<xref ref-type="bibr" rid="B2">Atanassov, 1991</xref>; <xref ref-type="bibr" rid="B1">Alexieva et al., 2007</xref>; <xref ref-type="bibr" rid="B6">Atanassov, 2007</xref>)] and reflecting the main principle of the impact and corresponding reaction, is going to be developed.</p>
<p>GNs have been proven as a powerful tool for modelling of parallel processes flow representation as well as of discrete event systems. The apparatus of GNs is equally well suited for modelling of large and complex systems, as well as for some simpler systems. One of the major strength of the GN apparatus is its ability to model random events and to predict the effects of complex interactions between these events. GN models might be used as a quick method for analysing and solving complex problems.</p>
<p>The concept of GNs as an extension of the Petri Nets (<xref ref-type="bibr" rid="B11">Petri, 1962</xref>; <xref ref-type="bibr" rid="B13">Starke, 1980</xref>) was defined in 1982, although the introducing paper (<xref ref-type="bibr" rid="B8">Atanassov, 1984</xref>) appeared 2&#xa0;years later, in 1984. Very short remarks on a special case of GNs, called a minimal reduced GNs are presented later on, in <xref ref-type="sec" rid="s3">Section 3</xref>.</p>
<p>The reduced GNs have the same modelling possibilities as the ordinary GNs, but they have only a part of the ordinary GN components. On the other hand, these nets have enough components to suitable to represent the objects and processes describing in the present paper.</p>
<p>Among the variety of filed of GN-models applications, such as economics, e-learning, artificial intelligence, data mining, biology and ecology, chemistry and economics, university administration processes and many others, GN-models have been developed in the area of medicine as well.</p>
<p>This investigation is a kind of long-waited continuation of the idea of the Foreign Object Principle and its GN interpretation, presented in (<xref ref-type="bibr" rid="B7">Atanassov, 2000</xref>; <xref ref-type="bibr" rid="B12">Sorsich et al., 2001</xref>). There the Foreign Object Principle was formulated as follows: each (abstract) system functions by taking (accepting) foreign objects from its environment and giving out objects to the environment. A formal definition of this Principle is given in the following <xref ref-type="sec" rid="s2">Section 2</xref>. Developed in (<xref ref-type="bibr" rid="B7">Atanassov, 2000</xref>; <xref ref-type="bibr" rid="B12">Sorsich et al., 2001</xref>) GN-model serves the idea, that what is common for all the described processes in the human body is that a certain (material or not) foreign object is perceived, processed in one or another way, and as a result another (material or not) object is produced. It is being isolated in another (for instance the surrounding) environment and it appears in it in the form of &#x201c;foreign object&#x201d;. As such, an illustration of a new principle holding for the abstract theory of the systems (<xref ref-type="bibr" rid="B10">Mesarovic and Takahara, 1975</xref>; <xref ref-type="bibr" rid="B9">Mesarovic and Takahara, 1989</xref>), that can be conventionally named &#x201c;The principle of the foreign object&#x201d; has been presented.</p>
</sec>
<sec id="s2">
<title>2 Formal model</title>
<p>Let us denote the environment by <italic>E</italic>, the system&#x2014;by <italic>S</italic>, and the temporal scale&#x2014;by <italic>T</italic>. Let the impact functions be: <italic>F</italic>
<sub>
<italic>E</italic>
</sub>&#x2014;the impact of the environment over the system and <italic>F</italic>
<sub>
<italic>S</italic>
</sub>&#x2014;the impact of the system over the environment.</p>
<p>For the simplified form of the model, the system is presented in a fixed time-moment <italic>t</italic> &#x2208; <italic>T</italic>, in which the reaction of the system is defined by<disp-formula id="equ1">
<mml:math id="m1">
<mml:msub>
<mml:mrow>
<mml:mi>R</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>S</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>F</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>E</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>t</mml:mi>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>and a next time-moment <italic>t</italic>&#x2032;, defined as<disp-formula id="equ2">
<mml:math id="m2">
<mml:msup>
<mml:mrow>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3c4;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>E</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>t</mml:mi>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>in which the system reaction be changed.</p>
<p>Also, we need another fixed time-moment <italic>t</italic>
<sup>&#x2033;</sup> &#x2208; <italic>T</italic>, in which the reaction of the environment is defined by<disp-formula id="equ3">
<mml:math id="m3">
<mml:msub>
<mml:mrow>
<mml:mi>R</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>E</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>F</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>S</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>S</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>E</mml:mi>
<mml:mo>,</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>and a next time-moment <italic>t</italic>&#x2032;&#x2032;&#x2032;, defined as<disp-formula id="equ4">
<mml:math id="m4">
<mml:msup>
<mml:mrow>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
<mml:mo>&#x2032;</mml:mo>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3c4;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>S</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>S</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>E</mml:mi>
<mml:mo>,</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>in which an environment reaction will be changed.</p>
<p>Therefore, for given time-moments <italic>t</italic>
<sub>1</sub>, <italic>t</italic>
<sub>2</sub>, <italic>t</italic>
<sub>3</sub>, &#x2026; &#x2208; <italic>T</italic> we can write (see also <xref ref-type="fig" rid="F1">Figure 1</xref>) <italic>R</italic>
<sub>
<italic>E</italic>
</sub> &#x3d; <italic>F</italic>
<sub>
<italic>S</italic>
</sub>[<italic>S</italic>, <italic>E</italic>, <italic>&#x3c4;</italic>
<sub>
<italic>E</italic>
</sub>(<italic>E</italic>, <italic>S</italic>, <italic>t</italic>
<sub>1</sub>)] and <italic>R</italic>
<sub>
<italic>S</italic>
</sub> &#x3d; <italic>F</italic>
<sub>
<italic>E</italic>
</sub>[<italic>E</italic>, <italic>S</italic>, <italic>&#x3c4;</italic>
<sub>
<italic>S</italic>
</sub>(<italic>S</italic>, <italic>E</italic>, <italic>t</italic>
<sub>2</sub>)].</p>
<fig id="F1" position="float">
<label>FIGURE 1</label>
<caption>
<p>Simplified model.</p>
</caption>
<graphic xlink:href="fnetp-02-873337-g001.tif"/>
</fig>
<p>For the more complex model, we need functions <italic>&#x3c3;</italic>
<sub>
<italic>S</italic>
</sub> and <italic>&#x3c3;</italic>
<sub>
<italic>E</italic>
</sub> that give the values of the impact of the system or of the environment and determine whether these values are over or under the respective thresholds (i.e., <italic>&#x3c0;</italic>
<sub>
<italic>S</italic>
</sub> and <italic>&#x3c0;</italic>
<sub>
<italic>E</italic>
</sub>). In this case, we can add additional time-moments for check the value of the impacts. Thus, the new model has the geometrical interpretation presented in <xref ref-type="fig" rid="F2">Figure 2</xref>.</p>
<fig id="F2" position="float">
<label>FIGURE 2</label>
<caption>
<p>More complex model.</p>
</caption>
<graphic xlink:href="fnetp-02-873337-g002.tif"/>
</fig>
<p>In <xref ref-type="fig" rid="F2">Figure 2</xref>, the &#x25e6;-symbol stands for stop functioning of the signal.</p>
</sec>
<sec id="s3">
<title>3 Short Remarks on the Theory of the Generalized Nets</title>
<p>GNs are an extension as of the standard Petri nets, as well as of the rest of their extensions and modifications. GNs are defined in a way that is principally different from the ways of defining the other types of Petri nets (<xref ref-type="bibr" rid="B2">Atanassov, 1991</xref>; <xref ref-type="bibr" rid="B6">Atanassov, 2007</xref>).</p>
<p>When some of the GN-components are omitted, the GN is called a reduced GN. For the needs of the model below, we describe the modelled process as a reduced GNs.</p>
<p>Formally, every transition (<xref ref-type="fig" rid="F3">Figure 3</xref>) is described by a seven-tuple, but for our aims, we use its following reduced form:<disp-formula id="equ5">
<mml:math id="m5">
<mml:mi>Z</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">&#x27e8;</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mi>L</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo>,</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>L</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo>,</mml:mo>
<mml:mi>r</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x27e9;</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>where:<list list-type="simple">
<list-item>
<p>&#x2022; <italic>L</italic>&#x2032; and <italic>L</italic>
<sup>&#x2033;</sup> are finite, non-empty sets of places (the transition&#x2019;s input and output places, respectively); for the transition in <xref ref-type="fig" rid="F3">Figure 3</xref> these are <inline-formula id="inf1">
<mml:math id="m6">
<mml:msup>
<mml:mrow>
<mml:mi>L</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">{</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mo>,</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mo>,</mml:mo>
<mml:mo>&#x2026;</mml:mo>
<mml:mo>,</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>m</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msubsup>
</mml:mrow>
<mml:mo stretchy="false">}</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> and <inline-formula id="inf2">
<mml:math id="m7">
<mml:msup>
<mml:mrow>
<mml:mi>L</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">{</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mo>,</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mo>,</mml:mo>
<mml:mo>&#x2026;</mml:mo>
<mml:mo>,</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>n</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msubsup>
</mml:mrow>
<mml:mo stretchy="false">}</mml:mo>
</mml:mrow>
<mml:mo>;</mml:mo>
</mml:math>
</inline-formula>
</p>
</list-item>
<list-item>
<p>&#x2022; <italic>r</italic> is the transition&#x2019;s <italic>condition</italic> determining which tokens will pass (or <italic>transfer</italic>) from the transition&#x2019;s inputs to its outputs; it has the form of an Index Matrix (IM; <xref ref-type="bibr" rid="B4">Atanassov, 2014</xref>):</p>
</list-item>
</list>
<inline-graphic xlink:href="fnetp-02-873337-fx1.tif"/>
<italic>r</italic>
<sub>
<italic>i</italic>,<italic>j</italic>
</sub> is the predicate that corresponds to the <italic>i</italic>-th input and <italic>j</italic>-th output place (1 &#x2264; <italic>i</italic> &#x2264; <italic>m</italic>, 1 &#x2264; <italic>j</italic> &#x2264; <italic>n</italic>). When its truth value is &#x201c;<italic>true</italic>&#x201d;, a token from the <italic>i</italic>-th input place transfers to the <italic>j</italic>-th output place; otherwise, this is not possible.</p>
<fig id="F3" position="float">
<label>FIGURE 3</label>
<caption>
<p>A generalized net transition.</p>
</caption>
<graphic xlink:href="fnetp-02-873337-g003.tif"/>
</fig>
<p>In general, the GN is defined as ordered four-tuple, but in the present case, it has the form<disp-formula id="equ7">
<mml:math id="m9">
<mml:mi>E</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">&#x27e8;</mml:mo>
<mml:mrow>
<mml:mi>A</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>K</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>X</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi mathvariant="normal">&#x3a6;</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x27e9;</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>where:<list list-type="simple">
<list-item>
<p>&#x2022; <italic>A</italic> is a set of transitions;</p>
</list-item>
<list-item>
<p>&#x2022; <italic>K</italic> is the set of the GN&#x2019;s tokens.</p>
</list-item>
<list-item>
<p>&#x2022; <italic>X</italic> is the set of all initial characteristics which the tokens can obtain on entering the net;</p>
</list-item>
<list-item>
<p>&#x2022; &#x3a6; is the characteristic function that assigns new characteristics to every token when it makes the transfer from an input to an output place of a given transition.</p>
</list-item>
</list>
</p>
<p>The most important differences of the GNs in comparison to the Petri nets and other extensions of theirs are the following:<list list-type="simple">
<list-item>
<p>&#x2022; Index matrices associated with the GN-transitions contain predicates that determine the directions of the token transfers;</p>
</list-item>
<list-item>
<p>&#x2022; GN-token characteristics which contain the information for the processes related to the respective tokens and for the processes flowing in the net;</p>
</list-item>
<list-item>
<p>&#x2022; Global time-scale to which the events in the net are referred to.</p>
</list-item>
</list>
</p>
<p>In the present paper, these predicates and token characteristics are given in not-formal form for reader&#x2019;s facilitation.</p>
<p>Operations, relations and operators are defined over GNs (<xref ref-type="bibr" rid="B2">Atanassov, 1991</xref>; <xref ref-type="bibr" rid="B6">Atanassov, 2007</xref>).</p>
</sec>
<sec id="s4">
<title>4 Generalized Net Model</title>
<p>
<xref ref-type="fig" rid="F4">Figure 4</xref> presents the generalized net model developed to describe in general the formal model from <xref ref-type="sec" rid="s2">Section 2</xref>.</p>
<fig id="F4" position="float">
<label>FIGURE 4</label>
<caption>
<p>A generalized net model.</p>
</caption>
<graphic xlink:href="fnetp-02-873337-g004.tif"/>
</fig>
<p>The GN contains <italic>m</italic> &#x2b; <italic>n</italic> &#x2b; <italic>p</italic> &#x2b; 3 transitions, 4<italic>m</italic> &#x2b; 3(<italic>n</italic> &#x2b; <italic>p</italic> &#x2b; 1) &#x2b; 1 places and six types of tokens, that represent:<list list-type="simple">
<list-item>
<p>&#x2022; <italic>&#x25b;</italic>&#x2a;&#x2014;information about the environment (the surroundings, the world around us, ambience, universe, etc.).</p>
</list-item>
<list-item>
<p>&#x2022; <italic>&#x25b;</italic>&#x2014;information about the impact from the environment to the system.</p>
</list-item>
<list-item>
<p>&#x2022; <italic>&#x3c9;</italic>&#x2014;information about the system status.</p>
</list-item>
<list-item>
<p>&#x2022; <italic>&#x3c6;</italic>&#x2014;information about the effector.</p>
</list-item>
<list-item>
<p>&#x2022; <italic>&#x3c4;</italic>&#x2014;information about thresholds of the receptors/sensors.</p>
</list-item>
<list-item>
<p>&#x2022; <italic>&#x3ba;</italic>&#x2014;the system signal for changing the value of the corresponding thresholds of the receptors/sensors.</p>
</list-item>
</list>
</p>
<p>The transitions have the following sense:<list list-type="simple">
<list-item>
<p>&#x2022; <italic>En</italic>
<sub>0</sub>, <italic>En</italic>
<sub>1</sub>, <italic>En</italic>
<sub>2</sub>&#x2014;the environment (the surroundings, the world around us, ambience, universe, etc.).</p>
</list-item>
<list-item>
<p>&#x2022; <italic>I</italic>
<sub>1</sub>, <italic>&#x2026;</italic>, <italic>I</italic>
<sub>
<italic>m</italic>
</sub>&#x2014;the impact from the environment to the system.</p>
</list-item>
<list-item>
<p>&#x2022; <italic>S</italic>, <italic>S</italic>
<sub>1</sub>, <italic>&#x2026;</italic>, <italic>S</italic>
<sub>
<italic>n</italic>
</sub>&#x2014;the system.</p>
</list-item>
<list-item>
<p>&#x2022; <italic>O</italic>
<sub>1</sub>, <italic>&#x2026;</italic>, <italic>O</italic>
<sub>
<italic>p</italic>
</sub>&#x2014;the effector.</p>
</list-item>
</list>
</p>
<p>The transition <italic>En</italic>
<sub>0</sub> has the following form:<disp-formula id="equ8">
<mml:math id="m10">
<mml:mi>E</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>n</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">&#x27e8;</mml:mo>
<mml:mrow>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>r</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>n</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">&#x27e9;</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>where<inline-graphic xlink:href="fnetp-02-873337-fx2.tif"/>
</p>
<p>
<italic>W</italic>
<sub>0,1</sub> &#x3d; &#x201c;there is an impact from the environment to the system&#x201d;.</p>
<p>The token <italic>&#x3b6;</italic> from place <italic>e</italic>
<sub>2</sub> enters place <italic>e</italic>
<sub>0</sub> and unites with token <italic>&#x25b;</italic>&#x2a; obtaining then a characteristic</p>
<disp-quote>
<p>&#x201c;a result of the impact of the system over the environment&#x201d;.</p>
</disp-quote>
<p>For each <italic>k</italic> &#x3d; 1, <italic>&#x2026;</italic>, <italic>m</italic>, the transition <italic>En</italic>
<sub>1</sub> has the following form:<disp-formula id="equ10">
<mml:math id="m12">
<mml:mi>E</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>n</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">&#x27e8;</mml:mo>
<mml:mrow>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>i</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1,1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2026;</mml:mo>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>i</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>m</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>r</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>n</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">&#x27e9;</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>where<inline-graphic xlink:href="fnetp-02-873337-fx3.tif"/>where <italic>W</italic>
<sub>1,<italic>k</italic>,1</sub> &#x3d; &#x201c;the current impact is registered by the <italic>k</italic>-th receptor/sensor&#x201d;.</p>
<p>When <italic>W</italic>
<sub>1,<italic>k</italic>,1</sub> &#x3d; <italic>true</italic>, token <italic>&#x25b;</italic> from place <italic>e</italic>
<sub>1</sub> enters place <italic>i</italic>
<sub>
<italic>k</italic>,1</sub> without a new characteristic.</p>
<p>For each <italic>k</italic> &#x3d; 1, <italic>&#x2026;</italic>, <italic>m</italic>, the transition <italic>I</italic>
<sub>
<italic>k</italic>
</sub> has the form:<disp-formula id="equ12">
<mml:math id="m14">
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">&#x27e8;</mml:mo>
<mml:mrow>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>i</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>i</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>i</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>i</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>i</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>r</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>I</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">&#x27e9;</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>where<inline-graphic xlink:href="fnetp-02-873337-fx4.tif"/>where</p>
<p>
<italic>W</italic>
<sub>1,<italic>k</italic>,2</sub> &#x3d; &#x201c;the strength of the impact is greater than the threshold of the <italic>k</italic>-th receptor/sensor, determined as current characteristic of token <italic>&#x3c4;</italic>
<sub>
<italic>k</italic>
</sub>&#x201d;, <italic>W</italic>
<sub>1,<italic>k</italic>,3</sub> &#x3d; <italic>&#xac;W</italic>
<sub>1,<italic>k</italic>,2</sub>, and <italic>&#xac;P</italic> is the negation of predicate <italic>P</italic>.</p>
<p>When <italic>W</italic>
<sub>1,<italic>k</italic>,2</sub> &#x3d; <italic>true</italic>, token <italic>&#x25b;</italic> from place <italic>i</italic>
<sub>
<italic>k</italic>,1</sub> enters place <italic>i</italic>
<sub>
<italic>k</italic>,2</sub> without a new characteristic.</p>
<p>When <italic>W</italic>
<sub>1,<italic>k</italic>,3</sub> &#x3d; <italic>true</italic>, token <italic>&#x25b;</italic> from place <italic>i</italic>
<sub>
<italic>k</italic>,1</sub> enters place <italic>i</italic>
<sub>
<italic>k</italic>,3</sub>, unites with token <italic>&#x3c4;</italic>
<sub>
<italic>k</italic>
</sub> and stops functioning. Token <italic>&#x3c4;</italic>
<sub>
<italic>k</italic>
</sub> obtains then a new characteristic.</p>
<disp-quote>
<p>&#x201c;an impact is registered by the <italic>k</italic>-th receptor sensor, parameters (time-moment, strength over or under the threshold)&#x201d;.</p>
</disp-quote>
<p>Token <italic>&#x3ba;</italic>
<sub>
<italic>k</italic>
</sub> from place <italic>i</italic>
<sub>
<italic>k</italic>
</sub> enters place <italic>i</italic>
<sub>
<italic>k</italic>,3</sub>, unites with token <italic>&#x3c4;</italic>
<sub>
<italic>k</italic>
</sub> and obtains a new characteristic</p>
<disp-quote>
<p>&#x201c;<italic>new value of the threshold of the</italic> <italic>k</italic>
<italic>-th receptor/sensor&#x201d;</italic>.</p>
</disp-quote>
<p>For <italic>k</italic> &#x3d; 1, <italic>&#x2026;</italic>, <italic>n</italic>, the transition <italic>S</italic> has the following form:<disp-formula id="equ14">
<mml:math id="m16">
<mml:mi>S</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mfenced open="&#x27e8;" close="">
<mml:mrow>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>i</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1,2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2026;</mml:mo>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>i</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>m</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>s</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1,2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2026;</mml:mo>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>s</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>n</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>s</mml:mi>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:mrow>
</mml:mfenced>
</mml:math>
</disp-formula>
<disp-formula id="equ15">
<mml:math id="m17">
<mml:mfenced open="" close="&#x27e9;">
<mml:mrow>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>s</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1,1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2026;</mml:mo>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>s</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>n</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>o</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1,1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2026;</mml:mo>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>o</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>p</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>i</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2026;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>i</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>m</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>s</mml:mi>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>r</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>S</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>where<inline-graphic xlink:href="fnetp-02-873337-fx5.tif"/>and for <italic>k</italic> &#x3d; 1, <italic>&#x2026;</italic>, <italic>n</italic>:</p>
<p>
<italic>V</italic>
<sub>
<italic>s</italic>,<italic>k</italic>
</sub> &#x3d; &#x201c;the registered impact must be processed by the <italic>k</italic>-th system component&#x201d;, for <italic>k</italic> &#x3d; 1, <italic>&#x2026;</italic>, <italic>p</italic>:</p>
<p>
<italic>V</italic>
<sub>
<italic>o</italic>,<italic>k</italic>
</sub> &#x3d; &#x201c;a new impact of the system over the environment may occur through the <italic>k</italic>-th effector&#x201d;, for <italic>k</italic> &#x3d; 1, <italic>&#x2026;</italic>, <italic>m</italic>:</p>
<p>
<italic>V</italic>
<sub>
<italic>i</italic>,<italic>k</italic>
</sub> &#x3d; &#x201c;the value of the threshold of the <italic>k</italic>-th receptor/sensor must be changed&#x201d;.</p>
<p>The <italic>&#x25b;</italic> tokens (one or more) from places <italic>i</italic>
<sub>1,2</sub>, <italic>&#x2026;</italic>, <italic>i</italic>
<sub>
<italic>m</italic>,2</sub> enter(s) place <italic>s</italic>, where it (they) unite(s) with token <italic>&#x3c9;</italic> and obtain(s) a characteristic</p>
<disp-quote>
<p>&#x201c;registration of the impact, parameters&#x201d;.</p>
</disp-quote>
<p>The <italic>&#x3c3;</italic>-tokens (one or more) from places <italic>s</italic>
<sub>1,2</sub>, <italic>&#x2026;</italic>, <italic>s</italic>
<sub>
<italic>n</italic>,2</sub> enter(s) place <italic>s</italic>, where it (they) unite(s) with token <italic>&#x3c9;</italic> and obtain(s) a characteristic</p>
<disp-quote>
<p>&#x201c;reaction of the respective part of the system to the corresponding impact&#x201d;.</p>
</disp-quote>
<p>When for some <italic>k</italic> &#x3d; 1, <italic>&#x2026;</italic>, <italic>n</italic> the predicate <italic>V</italic>
<sub>
<italic>s</italic>,<italic>k</italic>
</sub> &#x3d; <italic>true</italic>, token <italic>&#x3c9;</italic> splits to two or more tokens: the same token <italic>&#x3c9;</italic> that continues staying in place <italic>s</italic> without a new characteristic, and to one or more <italic>&#x3c3;</italic>-tokens that enter(s) respective <italic>s</italic>-place with a characteristic.</p>
<disp-quote>
<p>&#x201c;the current impact must be processed by the respective part of the system&#x201d;.</p>
</disp-quote>
<p>When for some <italic>k</italic> &#x3d; 1, <italic>&#x2026;</italic>, <italic>p</italic> the predicate <italic>V</italic>
<sub>
<italic>o</italic>,<italic>k</italic>
</sub> &#x3d; <italic>true</italic>, token <italic>&#x3c9;</italic> splits to two or more Tokens: the same token <italic>&#x3c9;</italic> that continues staying in place <italic>s</italic> without a new characteristic, and to one or more <italic>&#x3c0;</italic>-tokens that enter(s) respective <italic>o</italic>-place with a characteristic</p>
<disp-quote>
<p>&#x201c;the prepared by the system reaction must be directed to the respective effector&#x201d;.</p>
</disp-quote>
<p>When for some <italic>k</italic> &#x3d; 1, <italic>&#x2026;</italic>, <italic>m</italic> the predicate <italic>V</italic>
<sub>
<italic>i</italic>,<italic>k</italic>
</sub> &#x3d; <italic>true</italic>, token <italic>&#x3c9;</italic> splits to two or more tokens: the same token <italic>&#x3c9;</italic> that continues staying in place <italic>s</italic> without a new characteristic, and to one or more <italic>&#x3ba;</italic>-tokens that enter(s) respective <italic>i</italic>-place with a characteristic</p>
<disp-quote>
<p>&#x201c;new value of the threshold of the respective receptor/sensor&#x201d;.</p>
</disp-quote>
<p>For each <italic>k</italic> &#x3d; 1, <italic>&#x2026;</italic>, <italic>n</italic>, the transition <italic>S</italic>
<sub>
<italic>k</italic>
</sub> has the form<disp-formula id="equ17">
<mml:math id="m19">
<mml:msub>
<mml:mrow>
<mml:mi>S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">&#x27e8;</mml:mo>
<mml:mrow>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>s</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>s</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>s</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>s</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>r</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">&#x27e9;</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>where<inline-graphic xlink:href="fnetp-02-873337-fx6.tif"/>where</p>
<p>
<italic>U</italic>
<sub>3,<italic>k</italic>,2</sub> &#x3d; &#x201c;the <italic>k</italic>-th system component is ready with generated response to the registered impact&#x201d;.</p>
<p>When <italic>U</italic>
<sub>3,<italic>k</italic>,2</sub> &#x3d; <italic>true</italic>, token <italic>&#x3c3;</italic> splits to two tokens: the same token <italic>&#x3c3;</italic> that continues staying in place <italic>s</italic>
<sub>
<italic>k</italic>,3</sub> without a new characteristic, and token <italic>&#x3c3;</italic>&#x2032; that enters place <italic>s</italic>
<sub>
<italic>k</italic>,2</sub> with a characteristic</p>
<disp-quote>
<p>
<italic>&#x201c;response to the registered impact, parameters&#x201d;.</italic>
</p>
</disp-quote>
<p>For each <italic>k</italic> &#x3d; 1, <italic>&#x2026;</italic>, <italic>p</italic>, the transition <italic>O</italic>
<sub>
<italic>k</italic>
</sub> has the form<disp-formula id="equ19">
<mml:math id="m21">
<mml:msub>
<mml:mrow>
<mml:mi>O</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">&#x27e8;</mml:mo>
<mml:mrow>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>o</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>o</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>o</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>o</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>r</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>O</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>k</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">&#x27e9;</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>where<inline-graphic xlink:href="fnetp-02-873337-fx7.tif"/>where</p>
<p>
<italic>T</italic>
<sub>3,<italic>k</italic>,2</sub> &#x3d; &#x201c;there is a ready system reaction for the <italic>k</italic>-th effector&#x201d;.</p>
<p>When <italic>T</italic>
<sub>3,<italic>k</italic>,2</sub> &#x3d; <italic>true</italic>, token <italic>&#x3c6;</italic> splits to two tokens: the same token <italic>&#x3c6;</italic> that continues staying in place <italic>o</italic>
<sub>
<italic>k</italic>,3</sub> without a new characteristic, and token <italic>&#x3c6;</italic>&#x2032; that enters place <italic>o</italic>
<sub>
<italic>k</italic>,2</sub> with a characteristic</p>
<disp-quote>
<p>&#x201c;system reaction for the k-th effector, parameters&#x201d;.</p>
</disp-quote>
<p>Transition <italic>En</italic>
<sub>2</sub> has the form<disp-formula id="equ21">
<mml:math id="m23">
<mml:mi>E</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>n</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">&#x27e8;</mml:mo>
<mml:mrow>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>o</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1,2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2026;</mml:mo>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>o</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>p</mml:mi>
<mml:mo>,</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:mfenced open="{" close="}">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>r</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>n</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">&#x27e9;</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
</mml:math>
</disp-formula>where<inline-graphic xlink:href="fnetp-02-873337-fx8.tif"/>
</p>
<p>All tokens from places <italic>o</italic>
<sub>1,2</sub>, <italic>&#x2026;</italic>, <italic>o</italic>
<sub>
<italic>p</italic>,2</sub> unite in one token <italic>&#x3b6;</italic> that enters place <italic>e</italic>
<sub>2</sub> with a characteristic</p>
<disp-quote>
<p>&#x201c;total system reaction, parameters&#x201d;.</p>
</disp-quote>
</sec>
<sec id="s5">
<title>5 Examples</title>
<p>In general, a living organism cannot be separated from its surroundings since it is in of a continuous need of oxygen, water and food. Organisms themselves, and human being in particular, are in a continuous exchange of matter and energy with their environment. The interaction between organisms and the environment has two components: input, describing what enters the system from the outside or as a reaction of the system (the <italic>i</italic>-places in the GN model from <xref ref-type="fig" rid="F4">Figure 4</xref>, and output, describing what leaves the system for the environment (the <italic>o</italic>-places in the GN model). In order to be able to speak about the inside and the outside of a system, it is needed to be defined a kind of boundary between the system itself and its environment. For example, the skin might play such a role of a physical boundary for living systems (in the GN model it corresponds to an <italic>I</italic>-transition).</p>
<p>Let us consider, as an example, how the GN model describes the reaction of human body, and in particular - of the central nervous system, to pain, caused by a pin prick of a finger. The sharp pin itself might be considered as an input from environment (transition <italic>En</italic>
<sub>0</sub>). The first reaction of the system (reflected by the one of the <italic>I</italic>-transitions) is the activation of the pain receptors of the skin. The signals are then passed through the spinal cord, which corresponds to the transition <italic>S</italic> in the GN model. Finally, the response of the system will be a withdrawal of the arm caused by a contraction of the biceps, which is reflected by a <italic>S</italic>-transitions of the GN model.</p>
<p>Another example of human pain reaction induced by a direct external or internal (also caused by environment impact) injuries of human body is the chronic pain. After an acute short lasting pain, opposite to the chronic pain, the human body reacts to the brain signal by fighting or escaping the source of pain through complex adaptive responses (<italic>S</italic>-transitions) such as increased heart rate, respiratory rate, muscle contractions and others. At chronic pain, human is not able to escape and the neural pathways in the brain and central nervous system systematically change (<italic>I</italic>-transitions). The long lasting pain induces a variety of physiological and psychological responses such as insomnia, exhausted physical and brain fatigue which in turn reduces the pain threshold (<italic>I</italic>-transitions). Furthermore, such patients develop hypersensitivity experiencing more pain than they should to external physical stimulus such as mild push on the skin, noises, smells, lights and others. Examples of such medical conditions are long lasting migraine headache and fibromyalgia. Two different ways to interrupt the vicious pain circle could be used to increase the pain threshold: 1) by more and more interactions between the system (patient) and the environment (distraction activities); 2) by using pharmaceuticals (opioids, anti-inflammatory or antidepressant drugs). In the case of short lasting acute pain, the system and the environment interact only one time under the external stimulus whereas in the chronic pain case, the system and the environment interact multiple times as the system adapts continuously to the environment stimuli.</p>
<p>In general, the output is quite different from the input. The system is not just passively attending, but plays an active role. For example, the food, drink and oxygen are taken by the living organisms (through the transition <italic>En</italic>
<sub>0</sub>). Further, they are processed through different sensors for taste, smell, touch, etc. [through an <italic>I</italic>-transition(s)], provoke different reactions and processes in the body (described in the transition <italic>S</italic>) and quit the body as urine, excrements and carbon dioxide [through an <italic>O</italic>-transition(s)].</p>
<p>For many processes in the human body almost no one does not know how they happen. Doctors may observe that if they give a patient a particular medicine (input, transition <italic>En</italic>
<sub>0</sub>), the patient will react in a certain way (some <italic>o</italic>-place), e.g., by producing more urine. However, in most cases even the doctors have just a general idea about the particular mechanisms which lead from the cause to the effect. Obviously, the medicine triggers a complex chain of interconnected reactions, involving different organs and parts of the body (some of transitions <italic>S</italic>
<sub>1</sub>, <italic>&#x2026;</italic>, <italic>S</italic>
<sub>
<italic>n</italic>
</sub>), but the only thing that can be clearly established is the final result.</p>
<p>There is a potential for further extension of developed GN model in different directions. One of them is if one looks more closely at the environment of a given system, he can consider it as a number of systems interacting with their environments. For example, the environment of a person usually is a kind of community of other persons. Such groups of interacting people may form a family, a company, or a city. Their mutual interactions may lead to &#x201c;glue&#x201d; the components into a whole. If these parts did not interact, the whole would not be more than a sum of its components. But due to their interactions there is something to be added. With respect to the whole, the parts might be considered as subsystems. With respect to the parts, the whole might be considered as a supersystem. If now one consider a collection of such systems which interact with each other, that collection could again be seen as a system. If one looks at the supersystem as a whole, he should not need be aware of all its parts. He can again just look at its total input and total output without worrying which part of the input goes to which subsystem.</p>
</sec>
<sec id="s6">
<title>6 Conclusion</title>
<p>Presented here is a GN model of the functioning of a system, from the point of view of the Foreign Object Principle. It is illustrated with examples related to the human body as an autonomous complex system. The GN apparatus allows at reflection of the main principle of the impact and corresponding reaction. The developed GN model also allows to be shown the continuous repetition of aforementioned principle, from one hand&#x2014;between the human body and the environment and vice versa, and from the other hand&#x2014;within the human body. As it has been shown in the developed here reduced GN-model, the GN apparatus allows at accounting the temporal component, which makes enable a bridge to be thrown in the terms of Network Physiology, namely from accounting the temporal dynamics in such a complex system as human body to the synchronization and principles of integration in Networks of Physiological Systems.</p>
<p>Since the human body itself is as a universe, the present model might be extended in many directions, i.e., by more detailed description of the processes, related to place <italic>o</italic> and its token <italic>&#x3c9;</italic>.</p>
<p>In the future, the GN-model can be extended with intuitionistic fuzzy evaluations e.g., (<xref ref-type="bibr" rid="B5">Atanassov, 2017</xref>) of the input objects (signals) from the environment, of the perception thresholds, of the output objects (signals) generated by the system to the environment and the thresholds allowing their transmission. In addition, the present research is an illustration of the use of the GN-approach for modelling of processes that relate to the area of Data Mining [cf. (<xref ref-type="bibr" rid="B14">Zoteva and Krawczak, 2017</xref>; <xref ref-type="bibr" rid="B3">Atanassov, 2020</xref>))].</p>
</sec>
</body>
<back>
<sec id="s7">
<title>Data Availability Statement</title>
<p>The original contributions presented in the study are included in the article/Supplementary Material, further inquiries can be directed to the corresponding author.</p>
</sec>
<sec id="s8">
<title>Author Contributions</title>
<p>Conceptualization, KA and TP; methodology, KA; investigation, KA, GS, and TP, writing&#x2014;original draft preparation, KA and TP; writing&#x2014;review and editing, KA, GS, and TP; All authors have read and agreed to the published version of the manuscript.</p>
</sec>
<sec sec-type="COI-statement" id="s9">
<title>Conflict of Interest</title>
<p>The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.</p>
</sec>
<sec sec-type="disclaimer" id="s10">
<title>Publisher&#x2019;s Note</title>
<p>All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.</p>
</sec>
<ref-list>
<title>References</title>
<ref id="B1">
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Alexieva</surname>
<given-names>J.</given-names>
</name>
<name>
<surname>Choy</surname>
<given-names>E.</given-names>
</name>
<name>
<surname>Koycheva</surname>
<given-names>E.</given-names>
</name>
</person-group> (<year>2007</year>). &#x201c;<article-title>Review and Bibliography on Generalized Nets Theory and Applications</article-title>,&#x201d; in <source>A Survey of Generalized Nets</source>. <source>Raffles KvB Monograph No. 10</source>. Editors <person-group person-group-type="editor">
<name>
<surname>Choy</surname>
<given-names>E.</given-names>
</name>
<name>
<surname>Krawczak</surname>
<given-names>M.</given-names>
</name>
<name>
<surname>Shannon</surname>
<given-names>A.</given-names>
</name>
<name>
<surname>Szmidt</surname>
<given-names>E.</given-names>
</name>
</person-group>, <fpage>207</fpage>&#x2013;<lpage>301</lpage>. </citation>
</ref>
<ref id="B2">
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Atanassov</surname>
<given-names>K.</given-names>
</name>
</person-group> (<year>1991</year>). <source>Generalized Nets</source>. <publisher-loc>Singapore</publisher-loc>: <publisher-name>World Scientific</publisher-name>. </citation>
</ref>
<ref id="B3">
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Atanassov</surname>
<given-names>K.</given-names>
</name>
</person-group> (<year>2020</year>). <source>Generalized Nets and Intuitionistic Fuzziness in Data Mining</source>. <publisher-loc>Sofia</publisher-loc>: <publisher-name>&#x201c;Prof. Marin Drinov&#x201d; Academic Publishing House</publisher-name>. </citation>
</ref>
<ref id="B4">
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Atanassov</surname>
<given-names>K.</given-names>
</name>
</person-group> (<year>2014</year>). <source>Index Matrices: Towards an Augmented Matrix Calculus</source>. <publisher-loc>Cham</publisher-loc>: <publisher-name>Springer</publisher-name>. </citation>
</ref>
<ref id="B5">
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Atanassov</surname>
<given-names>K.</given-names>
</name>
</person-group> (<year>2017</year>). <source>Intuitionistic Fuzzy Logics</source>. <publisher-loc>Cham</publisher-loc>: <publisher-name>Springer</publisher-name>. </citation>
</ref>
<ref id="B6">
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Atanassov</surname>
<given-names>K.</given-names>
</name>
</person-group> (<year>2007</year>). <source>On Generalized Nets Theory</source>. <publisher-loc>Sofia</publisher-loc>: <publisher-name>Prof. M. Drinov Academic Publishing House</publisher-name>. </citation>
</ref>
<ref id="B7">
<citation citation-type="confproc">
<person-group person-group-type="author">
<name>
<surname>Atanassov</surname>
<given-names>K.</given-names>
</name>
</person-group> (<year>2000</year>). &#x201c;<article-title>The Foreign Object Principle and its Generalized Net Interpretation</article-title>,&#x201d; in <conf-name>Proceedings of the First Int. Workshop on Generalized Nets</conf-name>, <conf-loc>Sofia</conf-loc>, <conf-date>9 July, 2000</conf-date>, <fpage>34</fpage>&#x2013;<lpage>36</lpage>. </citation>
</ref>
<ref id="B8">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Atanassov</surname>
<given-names>K.</given-names>
</name>
</person-group> (<year>1984</year>). <article-title>Theory of Generalized Nets (An Algebraic Aspect)</article-title>. <source>Adv. Model. Simulation</source> <volume>1</volume> (<issue>2</issue>), <fpage>27</fpage>&#x2013;<lpage>33</lpage>. </citation>
</ref>
<ref id="B9">
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Mesarovic</surname>
<given-names>M.</given-names>
</name>
<name>
<surname>Takahara</surname>
<given-names>Y.</given-names>
</name>
</person-group> (<year>1989</year>). <source>Abstracts Systems Theory. Lecture Notes in Control and Information Sciences, Vol. 116</source>. <publisher-loc>Berlin, Germany</publisher-loc>: <publisher-name>Springer</publisher-name>. </citation>
</ref>
<ref id="B10">
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Mesarovic</surname>
<given-names>M.</given-names>
</name>
<name>
<surname>Takahara</surname>
<given-names>Y.</given-names>
</name>
</person-group> (<year>1975</year>). <source>General System Theory: Mathematical Foundations</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Academic Press</publisher-name>. </citation>
</ref>
<ref id="B11">
<citation citation-type="thesis">
<person-group person-group-type="author">
<name>
<surname>Petri</surname>
<given-names>C.&#x2013;A.</given-names>
</name>
</person-group> (<year>1962</year>). <source>Kommunication mit Automaten</source>. <comment>Ph.D.diss.</comment> (<publisher-loc>Bonn</publisher-loc>: <publisher-name>Univ. of Bonn, 1962; Schriften des Inst. fur Instrument. Math., No. 2</publisher-name>).</citation>
</ref>
<ref id="B12">
<citation citation-type="confproc">
<person-group person-group-type="author">
<name>
<surname>Sorsich</surname>
<given-names>J.</given-names>
</name>
<name>
<surname>Shannon</surname>
<given-names>A.</given-names>
</name>
<name>
<surname>Radeva</surname>
<given-names>V.</given-names>
</name>
<name>
<surname>Atanassov</surname>
<given-names>K.</given-names>
</name>
</person-group> (<year>2001</year>). &#x201c;<article-title>The Foreign Object Principle and Generalized Net Interpretations of its Bio-Medical Examples</article-title>,&#x201d; in <conf-name>Proc. of the Conf. &#x201c;Bioprocess systems&#x2019;2001&#x201d;</conf-name>, <conf-loc>Sofia</conf-loc>, <conf-date>1-3 Oct. 2001</conf-date>, <fpage>A.21</fpage>&#x2013;<lpage>A.24</lpage>. </citation>
</ref>
<ref id="B13">
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Starke</surname>
<given-names>P.</given-names>
</name>
</person-group> (<year>1980</year>). <source>Petri&#x2013;Netze</source>. <publisher-loc>Berlin</publisher-loc>: <publisher-name>VEB Deutscher Verlag der Wissenschaften</publisher-name>. </citation>
</ref>
<ref id="B14">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Zoteva</surname>
<given-names>D.</given-names>
</name>
<name>
<surname>Krawczak</surname>
<given-names>M.</given-names>
</name>
</person-group> (<year>2017</year>). <article-title>Generalized Nets as a Tool for the Modelling of Data Mining Processes</article-title>. <source>Innovative Issues Intell. Syst.</source> <volume>13</volume>, <fpage>1</fpage>&#x2013;<lpage>60</lpage>. <pub-id pub-id-type="doi">10.1007/978-3-319-27267-2_6</pub-id> </citation>
</ref>
</ref-list>
</back>
</article>