<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-03170863</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-23T07:18:26+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations</title>
            <author role="aut">
              <persName>
                <forename type="first">Sara</forename>
                <surname>Houhou</surname>
              </persName>
              <email type="md5">02cea531385b18502364cfdfee911e86</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">sara-houhou</idno>
              <idno type="idhal" notation="numeric">737413</idno>
              <idno type="halauthorid" notation="string">44942-737413</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4166-0609</idno>
              <idno type="IDREF">https://www.idref.fr/262992582</idno>
              <affiliation ref="#struct-444287"/>
              <affiliation ref="#struct-325381"/>
              <affiliation ref="#struct-541717"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Souheib</forename>
                <surname>Baarir</surname>
              </persName>
              <email type="md5">db8f12c6ee84295c784d957461c9fda6</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">961876</idno>
              <idno type="halauthorid" notation="string">686508-961876</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8140-0273</idno>
              <idno type="IDREF">https://www.idref.fr/147205336</idno>
              <idno type="VIAF">https://viaf.org/viaf/189805824</idno>
              <affiliation ref="#struct-116205"/>
              <affiliation ref="#struct-475360"/>
              <affiliation ref="#struct-541717"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pascal</forename>
                <surname>Poizat</surname>
              </persName>
              <email type="md5">db549c1fd786f7b63e4ba6351f196bbf</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">pascalpoizat</idno>
              <idno type="idhal" notation="numeric">7140</idno>
              <idno type="halauthorid" notation="string">17718-7140</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7979-9510</idno>
              <idno type="IDREF">https://www.idref.fr/100530303</idno>
              <idno type="VIAF">https://viaf.org/viaf/219463679</idno>
              <idno type="ISNI">http://isni.org/isni/0000000359400407</idno>
              <orgName ref="#struct-0"/>
              <affiliation ref="#struct-116205"/>
              <affiliation ref="#struct-475360"/>
              <affiliation ref="#struct-541717"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Philippe</forename>
                <surname>Quéinnec</surname>
              </persName>
              <email type="md5">d87a74f942bde99ac0cd39069dde5c51</email>
              <email type="domain">enseeiht.fr</email>
              <idno type="idhal" notation="string">philippe-queinnec</idno>
              <idno type="idhal" notation="numeric">741935</idno>
              <idno type="halauthorid" notation="string">9290-741935</idno>
              <idno type="IDREF">https://www.idref.fr/078894646</idno>
              <affiliation ref="#struct-394992"/>
              <affiliation ref="#struct-448187"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Laïd</forename>
                <surname>Kahloud</surname>
              </persName>
              <email type="md5">7a28230669e64b271664693ffc93d360</email>
              <email type="domain">univ-biskra.dz</email>
              <idno type="idhal" notation="numeric">1094435</idno>
              <idno type="halauthorid" notation="string">2177298-1094435</idno>
              <orgName ref="#struct-325381"/>
              <affiliation ref="#struct-444287"/>
              <affiliation ref="#struct-325381"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Accord Elsevier</forename>
                <surname>CCSD</surname>
              </persName>
              <email type="md5">3cc0cc7b8e3329bfb7423fa2578d788e</email>
              <email type="domain">ccsd.cnrs.fr</email>
            </editor>
            <funder ref="#projanr-44486"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-01-05 15:40:06</date>
              <date type="whenModified">2025-10-22 18:04:09</date>
              <date type="whenReleased">2024-01-05 15:40:07</date>
              <date type="whenProduced">2022-02</date>
              <date type="whenEndEmbargoed">2022-11-23</date>
              <ref type="file" target="https://hal.science/hal-03170863v1/document">
                <date notBefore="2022-11-23"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03170863v1/file/S0306437921000272.pdf" id="file-4374837-3806845">
                <date notBefore="2022-11-23"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="1081876">
                <persName>
                  <forename>Accord Elsevier</forename>
                  <surname>CCSD</surname>
                </persName>
                <email type="md5">3cc0cc7b8e3329bfb7423fa2578d788e</email>
                <email type="domain">ccsd.cnrs.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03170863</idno>
            <idno type="halUri">https://hal.science/hal-03170863</idno>
            <idno type="halBibtex">houhou:hal-03170863</idno>
            <idno type="halRefHtml">&lt;i&gt;Information Systems&lt;/i&gt;, 2022, 104, pp.101765. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.is.2021.101765"&gt;&amp;#x27E8;10.1016/j.is.2021.101765&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Information Systems, 2022, 104, pp.101765. &amp;#x27E8;10.1016/j.is.2021.101765&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by-nc/4.0/">CC BY-NC 4.0 - Attribution - Non-commercial use<ref corresp="#file-4374837-3806845"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-PARIS10" corresp="UNIV-PARIS-LUMIERES">Université Paris Nanterre</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="UNIV-PARIS-LUMIERES"/>
            <idno type="stamp" n="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-ACADIE" corresp="IRIT">Assistance à la Certification d’Applications DIstribuées et Embarquées</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="UNIV-PARIS-NANTERRE" corresp="UNIV-PARIS-LUMIERES">Université Paris Nanterre</idno>
            <idno type="stamp" n="IRIT-FSL" corresp="IRIT">Fiabilité des Systèmes et des Logiciels</idno>
            <idno type="stamp" n="ELSEVIER">Import Elsevier</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Sara</forename>
                    <surname>Houhou</surname>
                  </persName>
                  <email type="md5">02cea531385b18502364cfdfee911e86</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">sara-houhou</idno>
                  <idno type="idhal" notation="numeric">737413</idno>
                  <idno type="halauthorid" notation="string">44942-737413</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4166-0609</idno>
                  <idno type="IDREF">https://www.idref.fr/262992582</idno>
                  <affiliation ref="#struct-444287"/>
                  <affiliation ref="#struct-325381"/>
                  <affiliation ref="#struct-541717"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Souheib</forename>
                    <surname>Baarir</surname>
                  </persName>
                  <email type="md5">db8f12c6ee84295c784d957461c9fda6</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">961876</idno>
                  <idno type="halauthorid" notation="string">686508-961876</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8140-0273</idno>
                  <idno type="IDREF">https://www.idref.fr/147205336</idno>
                  <idno type="VIAF">https://viaf.org/viaf/189805824</idno>
                  <affiliation ref="#struct-116205"/>
                  <affiliation ref="#struct-475360"/>
                  <affiliation ref="#struct-541717"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pascal</forename>
                    <surname>Poizat</surname>
                  </persName>
                  <email type="md5">db549c1fd786f7b63e4ba6351f196bbf</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">pascalpoizat</idno>
                  <idno type="idhal" notation="numeric">7140</idno>
                  <idno type="halauthorid" notation="string">17718-7140</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7979-9510</idno>
                  <idno type="IDREF">https://www.idref.fr/100530303</idno>
                  <idno type="VIAF">https://viaf.org/viaf/219463679</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000359400407</idno>
                  <orgName ref="#struct-0"/>
                  <affiliation ref="#struct-116205"/>
                  <affiliation ref="#struct-475360"/>
                  <affiliation ref="#struct-541717"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Philippe</forename>
                    <surname>Quéinnec</surname>
                  </persName>
                  <email type="md5">d87a74f942bde99ac0cd39069dde5c51</email>
                  <email type="domain">enseeiht.fr</email>
                  <idno type="idhal" notation="string">philippe-queinnec</idno>
                  <idno type="idhal" notation="numeric">741935</idno>
                  <idno type="halauthorid" notation="string">9290-741935</idno>
                  <idno type="IDREF">https://www.idref.fr/078894646</idno>
                  <affiliation ref="#struct-394992"/>
                  <affiliation ref="#struct-448187"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Laïd</forename>
                    <surname>Kahloud</surname>
                  </persName>
                  <email type="md5">7a28230669e64b271664693ffc93d360</email>
                  <email type="domain">univ-biskra.dz</email>
                  <idno type="idhal" notation="numeric">1094435</idno>
                  <idno type="halauthorid" notation="string">2177298-1094435</idno>
                  <orgName ref="#struct-325381"/>
                  <affiliation ref="#struct-444287"/>
                  <affiliation ref="#struct-325381"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">14192</idno>
                <idno type="issn">0306-4379</idno>
                <title level="j">Information Systems</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">104</biblScope>
                  <biblScope unit="pp">101765</biblScope>
                  <date type="datePub">2022-02</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.is.2021.101765</idno>
              <idno type="pii">S0306-4379(21)00027-2</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">TLA+</term>
                <term xml:lang="en">First-Order Logic</term>
                <term xml:lang="en">Verification</term>
                <term xml:lang="en">Communication</term>
                <term xml:lang="en">Collaboration</term>
                <term xml:lang="en">Formal Semantics</term>
                <term xml:lang="en">BPMN</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-sc">Computer Science [cs]/Symbolic Computation [cs.SC]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>The BPMN standard notation allows business process designers to model both intra-organizational processes and inter-organizational collaborations. A great effort has been devoted in proposing formal semantics for BPMN, and, fewer, in providing dedicated verification tools. Still, some advanced features of BPMN, namely communication or time-related constructs, are often set aside. This becomes an issue as BPMN gains interest outside of its original scope, e.g., for the IoT where communication and time play an important role. In this paper, we propose a formal semantics for a subset of BPMN. This semantics takes into account not only the usual gateways, but also sub-processes, inter-process communication, and time-related constructs. In contrast to transformational approaches, which give a semantics to BPMN by mapping it to some formal model (e.g., transition systems or Petri nets), our approach is based on a direct formalization in first-order logic that is then realized in a straightforward way into the TLA+ formal language. We build on the TLA+ model-checker, TLC, to provide process designers with a verification framework, fbpmn, that one may use to check BPMN and workflow specific properties. Our tools and our model database are open source and freely available online.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-444287" status="INCOMING">
          <orgName>Laboratoire d'Informatique Intelligente</orgName>
          <orgName type="acronym">LINFI</orgName>
          <desc>
            <address>
              <country key="DZ"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-325381" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-325381" status="VALID">
          <idno type="ROR">https://ror.org/05fr5y859</idno>
          <orgName>Université Mohamed Khider de Biskra</orgName>
          <orgName type="acronym">BISKRA</orgName>
          <desc>
            <address>
              <addrLine>BP 145 RP, 07000 Biskra</addrLine>
              <country key="DZ"/>
            </address>
            <ref type="url">http://univ-biskra.dz</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-541717" status="VALID">
          <orgName>Modélisation et Vérification</orgName>
          <orgName type="acronym">MoVe</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-116205" status="VALID">
          <idno type="IdRef">026403587</idno>
          <idno type="ROR">https://ror.org/013bkhk48</idno>
          <orgName>Université Paris Nanterre</orgName>
          <orgName type="acronym">UPN</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>200 avenue de la République - 92001 Nanterre cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.parisnanterre.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-475360" status="VALID">
          <idno type="ROR">https://ror.org/03b4d6f26</idno>
          <orgName>Université Paris Lumières</orgName>
          <orgName type="acronym">UPL</orgName>
          <date type="start">2014</date>
          <desc>
            <address>
              <addrLine>140 rue du chevaleret 75013 PARIS</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-plum.fr/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-394992" status="OLD">
          <orgName>Assistance à la Certification d’Applications DIstribuées et Embarquées</orgName>
          <orgName type="acronym">IRIT-ACADIE</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>IRIT118 Route de Narbonne31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/-Equipe-ACADIE-</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-34499" status="OLD">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">1990-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1149079" type="direct"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1149079" status="OLD">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-44486" status="VALID">
          <idno type="anr">ANR-16-CE25-0006</idno>
          <orgName>PARDI</orgName>
          <desc>Vérification de systèmes distribués paramétrés</desc>
          <date type="start">2016</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>