Geodesic
Bisimulations for weighted networks with weights in a quantale
Filomat, Tome 37 (2023) no. 11, p. 3335

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

DOI

In this paper we introduce two types of simulations (forward and backward) and five types of bisimulations (forward, backward, forward-backward, backward-forward, and regular) for weighted networks with weights taken in a quntale, we describe their basic properties and provide procedures for testing the existence of a simulation or bisimulation of a given type and computing the greatest one, in cases when such simulations or bisimulations exist. We also describe basic properties of homogeneous simulations and bisimulations, which relate actors within the same weighted network, and establish relationships between heterogeneous bisimulations between two different networks and homogeneous bisimulations on these networks. In addition, we characterize the greatest forward, backward and regular bisimulations between weighted networks by means of multi-valued multimodal logics.
DOI : 10.2298/FIL2311335S
Classification : 15B15, 15A80, 91D30, 68Q85
Keywords: Weighted networks, Quantale 
Ivan Stanković; Miroslav Ćirić; Jelena Ignjatović. Bisimulations for weighted networks with weights in a quantale. Filomat, Tome 37 (2023) no. 11, p. 3335 . doi: 10.2298/FIL2311335S
@article{10_2298_FIL2311335S,
     author = {Ivan Stankovi\'c and Miroslav \'Ciri\'c and Jelena Ignjatovi\'c},
     title = {Bisimulations for weighted networks with weights in a quantale},
     journal = {Filomat},
     pages = {3335 },
     year = {2023},
     volume = {37},
     number = {11},
     doi = {10.2298/FIL2311335S},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.2298/FIL2311335S/}
}
TY  - JOUR
AU  - Ivan Stanković
AU  - Miroslav Ćirić
AU  - Jelena Ignjatović
TI  - Bisimulations for weighted networks with weights in a quantale
JO  - Filomat
PY  - 2023
SP  - 3335 
VL  - 37
IS  - 11
UR  - http://geodesic.mathdoc.fr/articles/10.2298/FIL2311335S/
DO  - 10.2298/FIL2311335S
LA  - en
ID  - 10_2298_FIL2311335S
ER  - 
%0 Journal Article
%A Ivan Stanković
%A Miroslav Ćirić
%A Jelena Ignjatović
%T Bisimulations for weighted networks with weights in a quantale
%J Filomat
%D 2023
%P 3335 
%V 37
%N 11
%U http://geodesic.mathdoc.fr/articles/10.2298/FIL2311335S/
%R 10.2298/FIL2311335S
%G en
%F 10_2298_FIL2311335S

Cité par Sources :