<?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-02592776</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-04-23T12:04:01+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Discrete event systems: from simulation to temporal analysis of decision in agriculture</title>
            <title xml:lang="fr">Systèmes à événements discrets : de la simulation à l'analyse temporelle de la décision en agriculture</title>
            <author role="aut">
              <persName>
                <forename type="first">O.</forename>
                <surname>Naud</surname>
              </persName>
              <email type="md5">e84316429b97b07f6e44c02b1014305b</email>
              <email type="domain">inrae.fr</email>
              <idno type="idhal" notation="string">olivier-naud</idno>
              <idno type="idhal" notation="numeric">741287</idno>
              <idno type="halauthorid" notation="string">413245-741287</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5663-5062</idno>
              <idno type="IDREF">https://www.idref.fr/241390737</idno>
              <affiliation ref="#struct-567510"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Tu</forename>
                <surname>Tuitete</surname>
              </persName>
              <idno type="halauthorid">285510-0</idno>
              <affiliation ref="#struct-567510"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Bertrand</forename>
                <surname>Léger</surname>
              </persName>
              <email type="md5">88087b19c7e15ac224d6ce9db7e8f80b</email>
              <email type="domain">montpellier.cemagref.fr</email>
              <idno type="idhal" notation="numeric">859279</idno>
              <idno type="halauthorid" notation="string">285511-859279</idno>
              <affiliation ref="#struct-567510"/>
              <affiliation ref="#struct-51085"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Arnaud</forename>
                <surname>Hélias</surname>
              </persName>
              <email type="md5">5589bd308009b41147fbf1b2a43b3636</email>
              <email type="domain">inrae.fr</email>
              <idno type="idhal" notation="string">arnaud-helias</idno>
              <idno type="idhal" notation="numeric">180736</idno>
              <idno type="halauthorid" notation="string">6706-180736</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8652-5611</idno>
              <idno type="IDREF">https://www.idref.fr/128869097</idno>
              <affiliation ref="#struct-50240"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Rodolphe</forename>
                <surname>Giroudeau</surname>
              </persName>
              <email type="md5">3eafab1248c9498dcf1c870a3b621a56</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="string">rodolphe-giroudeau</idno>
              <idno type="idhal" notation="numeric">172373</idno>
              <idno type="halauthorid" notation="string">17662-172373</idno>
              <idno type="IDREF">https://www.idref.fr/095605355</idno>
              <affiliation ref="#struct-388266"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Migration</forename>
                <surname>Irstea Publications</surname>
              </persName>
              <email type="md5">9e5ed7d56b52b3d4383123b1ffb42236</email>
              <email type="domain">inrae.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-04-22 10:13:39</date>
              <date type="whenModified">2025-03-21 15:12:18</date>
              <date type="whenReleased">2021-04-23 09:48:48</date>
              <date type="whenProduced">2008</date>
              <date type="whenEndEmbargoed">2021-04-22</date>
              <ref type="file" target="https://hal.inrae.fr/hal-02592776v1/document">
                <date notBefore="2021-04-22"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.inrae.fr/hal-02592776v1/file/systemes_a_evenements_discrets_de_la_simulation_a_lanalyse_temporelle_de_la_decision_en_agriculture.pdf" id="file-3205180-2815455">
                <date notBefore="2021-04-22"/>
              </ref>
              <fs>
                <f name="inra_etatDocument_local" notation="numeric">
                  <numeric>0</numeric>
                </f>
                <f name="inra_etatDocument_local" notation="string" n="0">
                  <string>inra_etatDocument_local_0</string>
                </f>
                <f name="inra_publicVise_local" notation="string" n="SC">
                  <string>Scientists</string>
                </f>
              </fs>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="888554">
                <persName>
                  <forename>Migration</forename>
                  <surname>Irstea Publications</surname>
                </persName>
                <email type="md5">9e5ed7d56b52b3d4383123b1ffb42236</email>
                <email type="domain">inrae.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02592776</idno>
            <idno type="halUri">https://hal.inrae.fr/hal-02592776</idno>
            <idno type="halBibtex">naud:hal-02592776</idno>
            <idno type="halRefHtml">&lt;i&gt;e-STA Sciences et Technologies de l’Automatique&lt;/i&gt;, 2008, 5 (2), pp.52-56</idno>
            <idno type="halRef">e-STA Sciences et Technologies de l’Automatique, 2008, 5 (2), pp.52-56</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3205180-2815455"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="SDE">Sciences De l'Environnement</idno>
            <idno type="stamp" n="AGROPARISTECH">AgroParisTech</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="IRSTEA">IRSTEA - Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (&lt;b&gt;anciennement Cemagref&lt;/b&gt;)</idno>
            <idno type="stamp" n="INRA">INRA - Institut national de la recherche agronomique</idno>
            <idno type="stamp" n="GIP-BE">GIP Bretagne Environnement</idno>
            <idno type="stamp" n="MAORE" corresp="LIRMM">Méthodes Algorithmes pour l'Ordonnancement et les Réseaux</idno>
            <idno type="stamp" n="LIRMM">Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</idno>
            <idno type="stamp" n="AGREENIUM">Archive ouverte en agrobiosciences</idno>
            <idno type="stamp" n="MIPS">Mathématiques, Informatique, Physique et Systèmes</idno>
            <idno type="stamp" n="SABP">Sciences pour les Agro Bio Procédés</idno>
            <idno type="stamp" n="UNIV-MONTPELLIER">Université de Montpellier</idno>
            <idno type="stamp" n="ITAP">Unité Mixte de Recherche Information - Technologies - Analyse environnementale - Procédés agricoles</idno>
            <idno type="stamp" n="INSTITUT-AGRO-MONTPELLIER">Institut Agro Montpellier</idno>
            <idno type="stamp" n="INRAE">Institut National de Recherche en Agriculture, Alimentation et Environnement</idno>
            <idno type="stamp" n="INRAEOCCITANIEMONTPELLIER" corresp="INRAE">INRAE Occitanie Montpellier</idno>
            <idno type="stamp" n="GMPA">Génie et Microbiologie des Procédés Alimentaires</idno>
            <idno type="stamp" n="UM-2015-2021" corresp="UNIV-MONTPELLIER">Université de Montpellier (2015-2021)</idno>
            <idno type="stamp" n="MATHNUM">Département MathNum</idno>
            <idno type="stamp" n="INSTITUT-AGRO">Institut Agro</idno>
            <idno type="stamp" n="PUBLIS-EC-IA-MTP" corresp="PUBLIS-EC-IA">Publications des enseignants chercheurs de l'Institut Agro Montpellier</idno>
            <idno type="stamp" n="PUBLIS-EC-IA">Publications des enseignants chercheurs de l'Institut Agro</idno>
            <idno type="stamp" n="TEST-MATHNUM">Test MathNum</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">[Departement_IRSTEA]EA [TR1_IRSTEA]TESAD / CASYS</note>
            <note type="audience" n="3">National</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Discrete event systems: from simulation to temporal analysis of decision in agriculture</title>
                <title xml:lang="fr">Systèmes à événements discrets : de la simulation à l'analyse temporelle de la décision en agriculture</title>
                <author role="aut">
                  <persName>
                    <forename type="first">O.</forename>
                    <surname>Naud</surname>
                  </persName>
                  <email type="md5">e84316429b97b07f6e44c02b1014305b</email>
                  <email type="domain">inrae.fr</email>
                  <idno type="idhal" notation="string">olivier-naud</idno>
                  <idno type="idhal" notation="numeric">741287</idno>
                  <idno type="halauthorid" notation="string">413245-741287</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5663-5062</idno>
                  <idno type="IDREF">https://www.idref.fr/241390737</idno>
                  <affiliation ref="#struct-567510"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Tu</forename>
                    <surname>Tuitete</surname>
                  </persName>
                  <idno type="halauthorid">285510-0</idno>
                  <affiliation ref="#struct-567510"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Bertrand</forename>
                    <surname>Léger</surname>
                  </persName>
                  <email type="md5">88087b19c7e15ac224d6ce9db7e8f80b</email>
                  <email type="domain">montpellier.cemagref.fr</email>
                  <idno type="idhal" notation="numeric">859279</idno>
                  <idno type="halauthorid" notation="string">285511-859279</idno>
                  <affiliation ref="#struct-567510"/>
                  <affiliation ref="#struct-51085"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Arnaud</forename>
                    <surname>Hélias</surname>
                  </persName>
                  <email type="md5">5589bd308009b41147fbf1b2a43b3636</email>
                  <email type="domain">inrae.fr</email>
                  <idno type="idhal" notation="string">arnaud-helias</idno>
                  <idno type="idhal" notation="numeric">180736</idno>
                  <idno type="halauthorid" notation="string">6706-180736</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8652-5611</idno>
                  <idno type="IDREF">https://www.idref.fr/128869097</idno>
                  <affiliation ref="#struct-50240"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Rodolphe</forename>
                    <surname>Giroudeau</surname>
                  </persName>
                  <email type="md5">3eafab1248c9498dcf1c870a3b621a56</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="string">rodolphe-giroudeau</idno>
                  <idno type="idhal" notation="numeric">172373</idno>
                  <idno type="halauthorid" notation="string">17662-172373</idno>
                  <idno type="IDREF">https://www.idref.fr/095605355</idno>
                  <affiliation ref="#struct-388266"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">52823</idno>
                <idno type="issn">1954-3522</idno>
                <title level="j">e-STA Sciences et Technologies de l’Automatique</title>
                <imprint>
                  <publisher>SEE - Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication </publisher>
                  <biblScope unit="volume">5</biblScope>
                  <biblScope unit="issue">2</biblScope>
                  <biblScope unit="pp">52-56</biblScope>
                  <date type="datePub">2008</date>
                </imprint>
              </monogr>
              <idno type="irstea">PUB00028020</idno>
              <ref target="https://archives-publications.inrae.fr/pub00028020.pdf" type="seeAlso"/>
              <ref target="http://www.e-sta.see.asso.fr/IMG/pdf/10-eSTA-V18.pdf" type="seeAlso"/>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">MODEL-CHECKING</term>
                <term xml:lang="en">STATECHARTS</term>
                <term xml:lang="fr">AUTOMATES TEMPORISES</term>
              </keywords>
              <classCode scheme="halDomain" n="sde">Environmental Sciences</classCode>
              <classCode scheme="vocinrae-old" n="AIDE A LA DECISION">AIDE A LA DECISION</classCode>
              <classCode scheme="vocinrae-old" n="PRODUIT PHYTOSANITAIRE">PRODUIT PHYTOSANITAIRE</classCode>
              <classCode scheme="vocinrae-old" n="VITICULTURE">VITICULTURE</classCode>
              <classCode scheme="vocinrae-old" n="SIMULATION">SIMULATION</classCode>
              <classCode scheme="vocinrae-old" n="AGRICULTURE DURABLE">AGRICULTURE DURABLE</classCode>
              <classCode scheme="vocinrae-old" n="SUSTAINABLE AGRICULTURE">SUSTAINABLE AGRICULTURE</classCode>
              <classCode scheme="vocinrae-old" n="DECISION SUPPORT">DECISION SUPPORT</classCode>
              <classCode scheme="vocinrae-old" n="PLANT PROTECTION PRODUCT">PLANT PROTECTION PRODUCT</classCode>
              <classCode scheme="vocinrae-old" n="VITICULTURE">VITICULTURE</classCode>
              <classCode scheme="vocinrae-old" n="SIMULATION">SIMULATION</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="fr">
              <p>La recherche agro-environnementale repose de plus en plus sur des approches systémiques et la simulation informatique. Nous montrons ici l'intérêt des automates et autres formalismes de Systèmes à Événements Discrets (SED) dans une démarche de conception des processus de décision en production agricole. Nous assignons deux objectifs à cette conception. Le premier est d'analyser la performance attendue du système selon les critères du développement durable. Le second est de réaliser un transfert de connaissances et d'expertise au travers des modèles de processus de décision. Un tel transfert est une condition nécessaire à l'expérimentation à grande échelle de systèmes innovants complexes. Nos exemples concernent les traitements de deux maladies de la vigne, le mildiou et l'oïdium. L'objectif est de réduire le nombre de traitements, actuellement responsable d'une forte consommation de pesticides par la viticulture. Nous présentons un aperçu de nos modèles réalisés dans deux formalismes : les Statecharts et les automates temporisés. Les Statecharts ont servi de support à l'élicitation des connaissances d'une équipe de phytopathologistes et d'outil de simulation à l'échelle de la parcelle. La vérification (« model-checking ») des automates temporisés est utilisée à l'analyse de faisabilité temporelle des décisions prises parcelle par parcelle dans une utilisation efficiente des ressources de l'exploitation.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-567510" status="OLD">
          <orgName>Information – Technologies – Analyse Environnementale – Procédés Agricoles</orgName>
          <orgName type="acronym">UMR ITAP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>361, rue J.F. Breton - BP 5095 - 34033 Montpellier Cedex 1</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-92699" type="direct"/>
            <relation active="#struct-300005" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-51085" status="OLD">
          <orgName>Unité Mixte de Recherche en Santé Végétale (INRA/ENITA)</orgName>
          <orgName type="acronym">UMRSV</orgName>
          <date type="start">1998-01-01</date>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>ISVV - IFR103 Centre de Recherche INRA Bordeaux Aquitaine 71, Avenue Edouard Bourleaux BP 81, 33883 Villenave d'Ornon Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.bordeaux-aquitaine.inra.fr/sante_vegetale</ref>
          </desc>
          <listRelation>
            <relation name="UMR1065" active="#struct-92114" type="direct"/>
            <relation active="#struct-300411" type="direct"/>
            <relation active="#struct-301848" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-50240" status="OLD">
          <orgName>Génie et Microbiologie des Procédés Alimentaires</orgName>
          <orgName type="acronym">GMPA</orgName>
          <desc>
            <address>
              <addrLine>F-78850 Thiverval-Grignon</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www6.versailles-grignon.inra.fr/gmpa</ref>
          </desc>
          <listRelation>
            <relation name="UMR0782" active="#struct-92114" type="direct"/>
            <relation active="#struct-148117" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-388266" status="OLD">
          <orgName>Methods, Algorithms for Operations REsearch</orgName>
          <orgName type="acronym">MAORE</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>LIRMM, 161 rue Ada, 34000 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr/equipes/MAORE/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-181" type="direct"/>
            <relation name="UMR5506" active="#struct-410122" type="indirect"/>
            <relation name="UMR5506" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92699" status="OLD">
          <idno type="ROR">https://ror.org/03rnk6m14</idno>
          <orgName>Centre international d'études supérieures en sciences agronomiques</orgName>
          <orgName type="acronym">Montpellier SupAgro</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2015-02-05</date>
          <desc>
            <address>
              <addrLine>2, place Pierre Viala - 34060 Montpellier Cedex 02</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.supagro.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300005" status="OLD">
          <orgName>Centre national du machinisme agricole, du génie rural, des eaux et forêts</orgName>
          <orgName type="acronym">CEMAGREF</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-92114" status="OLD">
          <idno type="ROR">https://ror.org/01x3gbx83</idno>
          <orgName>Institut National de la Recherche Agronomique</orgName>
          <orgName type="acronym">INRA</orgName>
          <date type="start">1946-05-18</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inra.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300411" status="OLD">
          <orgName>École Nationale d'Ingénieurs des Travaux Agricoles - Bordeaux</orgName>
          <orgName type="acronym">ENITAB</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301848" status="VALID">
          <orgName>Institut des Sciences de la Vigne et du Vin (ISVV)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-148117" status="VALID">
          <idno type="IdRef">139408088</idno>
          <idno type="ROR">https://ror.org/02kbmgc12</idno>
          <orgName>AgroParisTech</orgName>
          <date type="start">2007-01-01</date>
          <desc>
            <address>
              <addrLine>22 place de l'Agronomie CS 20040 91123 Palaiseau cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.agroparistech.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-181" status="OLD">
          <idno type="IdRef">139590827</idno>
          <idno type="ISNI">0000000405990488</idno>
          <idno type="RNSR">199111950H</idno>
          <idno type="ROR">https://ror.org/013yean28</idno>
          <orgName>Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</orgName>
          <orgName type="acronym">LIRMM</orgName>
          <date type="start">1995-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>161 rue Ada - 34095 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR5506" active="#struct-410122" type="direct"/>
            <relation name="UMR5506" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-410122" status="OLD">
          <idno type="ISNI">0000000120970141</idno>
          <idno type="ROR">https://ror.org/051escj72</idno>
          <orgName>Université de Montpellier</orgName>
          <orgName type="acronym">UM</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>163 rue Auguste Broussonnet - 34090 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.umontpellier.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>
      </listOrg>
    </back>
  </text>
</TEI>