Diagnosis with Petri Net Unfoldings View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2013

AUTHORS

Stefan Haar , Eric Fabre

ABSTRACT

Large distributed system inherently display concurrency, i.e. the fact that several “independent” events may happen in parallel. The more components in a distributed system are independent (or less coupled), the more this feature appears. With its immediate consequence: handling trajectories as sequences of events means representing an explosive number of possible interleavings of concurrent events. To turn independence/concurrency into an advantage rather than an opponent, a key idea is to adopt a true concurrency semantics, that represents runs of a distributed system as partial orders of events. The chapter introduces ways to represent and handle sets of trajectories in such semantics, in particular by means of Petri net unfoldings. It is then explained how one can perform diagnosis with such objects, in the sense of discovering which trajectories of a concurrent system can explain a set of distributed and partially ordered observations. This framework is then extended to the distributed case, where each component aims at building its local view of the diagnosis. Finally, diagnosability issues are examined in the setting of true concurrency semantics, that is the possibility of detecting the occurrence of an unobservable fault not later than after a limited execution following that fault. More... »

PAGES

301-317

References to SciGraph publications

  • 2006. Distributed Unfolding of Petri Nets in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2002-05. An Improvement of McMillan's Unfolding Algorithm in FORMAL METHODS IN SYSTEM DESIGN
  • 2005-03. Distributed Monitoring of Concurrent and Asynchronous Systems* in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2005. Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2007-09. Trellis Processes : A Compact Representation for Runs of Concurrent Systems in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2009. Concurrency, σ-Algebras, and Probabilistic Fairness in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2006. On the Construction of Pullbacks for Safe Petri Nets in PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006
  • 2009. Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2005. The (True) Concurrent Markov Property and Some Applications to Markov Nets in APPLICATIONS AND THEORY OF PETRI NETS 2005
  • Book

    TITLE

    Control of Discrete-Event Systems

    ISBN

    978-1-4471-4275-1
    978-1-4471-4276-8

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_15

    DOI

    http://dx.doi.org/10.1007/978-1-4471-4276-8_15

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1018157284


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information Systems", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "name": [
                "INRIA/LSV, CNRS & ENS de Cachan, 61, avenue du Pr\u00e9sident Wilson, 94235\u00a0Cachan Cedex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Haar", 
            "givenName": "Stefan", 
            "id": "sg:person.015066472515.27", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015066472515.27"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Rennes 1", 
              "id": "https://www.grid.ac/institutes/grid.410368.8", 
              "name": [
                "INRIA/IRISA, Campus de Beaulieu, F-35042\u00a0Rennes Cedex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Fabre", 
            "givenName": "Eric", 
            "id": "sg:person.011362250353.22", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011362250353.22"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-04368-0_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003185557", 
              "https://doi.org/10.1007/978-3-642-04368-0_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ic.2005.10.001", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005364420"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1014746130920", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005669454", 
              "https://doi.org/10.1023/a:1014746130920"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.3182/20050703-6-cz-1902.00299", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011579293"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11690634_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020581321", 
              "https://doi.org/10.1007/11690634_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11690634_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020581321", 
              "https://doi.org/10.1007/11690634_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10626-006-0001-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020714989", 
              "https://doi.org/10.1007/s10626-006-0001-0"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10626-006-0001-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020714989", 
              "https://doi.org/10.1007/s10626-006-0001-0"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10626-005-5238-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022113780", 
              "https://doi.org/10.1007/s10626-005-5238-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10626-005-5238-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022113780", 
              "https://doi.org/10.1007/s10626-005-5238-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11767589_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026532601", 
              "https://doi.org/10.1007/11767589_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11767589_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026532601", 
              "https://doi.org/10.1007/11767589_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(02)00694-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028608229"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(02)00694-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028608229"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11494744_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029026678", 
              "https://doi.org/10.1007/11494744_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11494744_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029026678", 
              "https://doi.org/10.1007/11494744_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-00596-1_27", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033518267", 
              "https://doi.org/10.1007/978-3-642-00596-1_27"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-00596-1_27", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033518267", 
              "https://doi.org/10.1007/978-3-642-00596-1_27"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(81)90112-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035972534"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2007.09.018", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046352904"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ic.2009.11.009", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050779923"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-31982-5_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051417327", 
              "https://doi.org/10.1007/978-3-540-31982-5_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-31982-5_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051417327", 
              "https://doi.org/10.1007/978-3-540-31982-5_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/9.412626", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061244618"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tac.2003.811249", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061475291"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tac.2003.819076", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061475461"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tac.2010.2063490", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061477723"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cdc.2005.1583171", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093517029"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cdc.2005.1583176", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094184955"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cdc.2009.5400917", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094769709"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cdc.2007.4434691", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094873271"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/acsd.2008.4574598", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095135040"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/wodes.2008.4605948", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095773125"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2013", 
        "datePublishedReg": "2013-01-01", 
        "description": "Large distributed system inherently display concurrency, i.e. the fact that several \u201cindependent\u201d events may happen in parallel. The more components in a distributed system are independent (or less coupled), the more this feature appears. With its immediate consequence: handling trajectories as sequences of events means representing an explosive number of possible interleavings of concurrent events. To turn independence/concurrency into an advantage rather than an opponent, a key idea is to adopt a true concurrency semantics, that represents runs of a distributed system as partial orders of events. The chapter introduces ways to represent and handle sets of trajectories in such semantics, in particular by means of Petri net unfoldings. It is then explained how one can perform diagnosis with such objects, in the sense of discovering which trajectories of a concurrent system can explain a set of distributed and partially ordered observations. This framework is then extended to the distributed case, where each component aims at building its local view of the diagnosis. Finally, diagnosability issues are examined in the setting of true concurrency semantics, that is the possibility of detecting the occurrence of an unobservable fault not later than after a limited execution following that fault.", 
        "editor": [
          {
            "familyName": "Seatzu", 
            "givenName": "Carla", 
            "type": "Person"
          }, 
          {
            "familyName": "Silva", 
            "givenName": "Manuel", 
            "type": "Person"
          }, 
          {
            "familyName": "van Schuppen", 
            "givenName": "Jan H.", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-1-4471-4276-8_15", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-1-4471-4275-1", 
            "978-1-4471-4276-8"
          ], 
          "name": "Control of Discrete-Event Systems", 
          "type": "Book"
        }, 
        "name": "Diagnosis with Petri Net Unfoldings", 
        "pagination": "301-317", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-1-4471-4276-8_15"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "568392950d7f460f9530b193d5464eaf4d6babe1c1c1e1921f344ffe2c8b26a1"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1018157284"
            ]
          }
        ], 
        "publisher": {
          "location": "London", 
          "name": "Springer London", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-1-4471-4276-8_15", 
          "https://app.dimensions.ai/details/publication/pub.1018157284"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T22:54", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8695_00000254.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-1-4471-4276-8_15"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_15'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_15'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_15'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_15'


     

    This table displays all metadata directly associated to this object as RDF triples.

    168 TRIPLES      23 PREDICATES      52 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-1-4471-4276-8_15 schema:about anzsrc-for:08
    2 anzsrc-for:0806
    3 schema:author N6a5ab621a070425da16d7f3a9b6af630
    4 schema:citation sg:pub.10.1007/11494744_6
    5 sg:pub.10.1007/11690634_9
    6 sg:pub.10.1007/11767589_10
    7 sg:pub.10.1007/978-3-540-31982-5_6
    8 sg:pub.10.1007/978-3-642-00596-1_27
    9 sg:pub.10.1007/978-3-642-04368-0_6
    10 sg:pub.10.1007/s10626-005-5238-5
    11 sg:pub.10.1007/s10626-006-0001-0
    12 sg:pub.10.1023/a:1014746130920
    13 https://doi.org/10.1016/0304-3975(81)90112-2
    14 https://doi.org/10.1016/j.ic.2005.10.001
    15 https://doi.org/10.1016/j.ic.2009.11.009
    16 https://doi.org/10.1016/j.tcs.2007.09.018
    17 https://doi.org/10.1016/s0304-3975(02)00694-1
    18 https://doi.org/10.1109/9.412626
    19 https://doi.org/10.1109/acsd.2008.4574598
    20 https://doi.org/10.1109/cdc.2005.1583171
    21 https://doi.org/10.1109/cdc.2005.1583176
    22 https://doi.org/10.1109/cdc.2007.4434691
    23 https://doi.org/10.1109/cdc.2009.5400917
    24 https://doi.org/10.1109/tac.2003.811249
    25 https://doi.org/10.1109/tac.2003.819076
    26 https://doi.org/10.1109/tac.2010.2063490
    27 https://doi.org/10.1109/wodes.2008.4605948
    28 https://doi.org/10.3182/20050703-6-cz-1902.00299
    29 schema:datePublished 2013
    30 schema:datePublishedReg 2013-01-01
    31 schema:description Large distributed system inherently display concurrency, i.e. the fact that several “independent” events may happen in parallel. The more components in a distributed system are independent (or less coupled), the more this feature appears. With its immediate consequence: handling trajectories as sequences of events means representing an explosive number of possible interleavings of concurrent events. To turn independence/concurrency into an advantage rather than an opponent, a key idea is to adopt a true concurrency semantics, that represents runs of a distributed system as partial orders of events. The chapter introduces ways to represent and handle sets of trajectories in such semantics, in particular by means of Petri net unfoldings. It is then explained how one can perform diagnosis with such objects, in the sense of discovering which trajectories of a concurrent system can explain a set of distributed and partially ordered observations. This framework is then extended to the distributed case, where each component aims at building its local view of the diagnosis. Finally, diagnosability issues are examined in the setting of true concurrency semantics, that is the possibility of detecting the occurrence of an unobservable fault not later than after a limited execution following that fault.
    32 schema:editor N5746779bc47c4dd6884554bfb5cc01f9
    33 schema:genre chapter
    34 schema:inLanguage en
    35 schema:isAccessibleForFree true
    36 schema:isPartOf N550ba15d07264006b2b9fe14f42aa6ef
    37 schema:name Diagnosis with Petri Net Unfoldings
    38 schema:pagination 301-317
    39 schema:productId N10b00b6c3f2a47a9b6b4808a4749e14d
    40 N9f986b4465f840368972bfe554f9546b
    41 Nf07b3e4b3acb4f8595ccf217bd625e6b
    42 schema:publisher Ne17fbbc95f1f40388dd9e37751f8d2ac
    43 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018157284
    44 https://doi.org/10.1007/978-1-4471-4276-8_15
    45 schema:sdDatePublished 2019-04-15T22:54
    46 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    47 schema:sdPublisher Nb60a39384d584f0d85f4b68245c5e11f
    48 schema:url http://link.springer.com/10.1007/978-1-4471-4276-8_15
    49 sgo:license sg:explorer/license/
    50 sgo:sdDataset chapters
    51 rdf:type schema:Chapter
    52 N10b00b6c3f2a47a9b6b4808a4749e14d schema:name readcube_id
    53 schema:value 568392950d7f460f9530b193d5464eaf4d6babe1c1c1e1921f344ffe2c8b26a1
    54 rdf:type schema:PropertyValue
    55 N417a1d44afcb450ebf1ba662b8d24737 schema:familyName van Schuppen
    56 schema:givenName Jan H.
    57 rdf:type schema:Person
    58 N46a67edf06a1405ca96d96b06c0fde95 rdf:first N9af67bbdfccb4b5b9c4ef4b7ce4d2af8
    59 rdf:rest Nbae62111e41749118a2d2ffcd1f9e51c
    60 N4c2cc7e431954e1fa859df744b024e6e schema:familyName Seatzu
    61 schema:givenName Carla
    62 rdf:type schema:Person
    63 N550ba15d07264006b2b9fe14f42aa6ef schema:isbn 978-1-4471-4275-1
    64 978-1-4471-4276-8
    65 schema:name Control of Discrete-Event Systems
    66 rdf:type schema:Book
    67 N5746779bc47c4dd6884554bfb5cc01f9 rdf:first N4c2cc7e431954e1fa859df744b024e6e
    68 rdf:rest N46a67edf06a1405ca96d96b06c0fde95
    69 N6a5ab621a070425da16d7f3a9b6af630 rdf:first sg:person.015066472515.27
    70 rdf:rest N795d002f1cd84fffb5677d885118a6f8
    71 N795d002f1cd84fffb5677d885118a6f8 rdf:first sg:person.011362250353.22
    72 rdf:rest rdf:nil
    73 N9af67bbdfccb4b5b9c4ef4b7ce4d2af8 schema:familyName Silva
    74 schema:givenName Manuel
    75 rdf:type schema:Person
    76 N9f986b4465f840368972bfe554f9546b schema:name doi
    77 schema:value 10.1007/978-1-4471-4276-8_15
    78 rdf:type schema:PropertyValue
    79 Nb60a39384d584f0d85f4b68245c5e11f schema:name Springer Nature - SN SciGraph project
    80 rdf:type schema:Organization
    81 Nbae62111e41749118a2d2ffcd1f9e51c rdf:first N417a1d44afcb450ebf1ba662b8d24737
    82 rdf:rest rdf:nil
    83 Nc8012f8e340f4d87a4ee5d9a579ea0a8 schema:name INRIA/LSV, CNRS & ENS de Cachan, 61, avenue du Président Wilson, 94235 Cachan Cedex, France
    84 rdf:type schema:Organization
    85 Ne17fbbc95f1f40388dd9e37751f8d2ac schema:location London
    86 schema:name Springer London
    87 rdf:type schema:Organisation
    88 Nf07b3e4b3acb4f8595ccf217bd625e6b schema:name dimensions_id
    89 schema:value pub.1018157284
    90 rdf:type schema:PropertyValue
    91 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    92 schema:name Information and Computing Sciences
    93 rdf:type schema:DefinedTerm
    94 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    95 schema:name Information Systems
    96 rdf:type schema:DefinedTerm
    97 sg:person.011362250353.22 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
    98 schema:familyName Fabre
    99 schema:givenName Eric
    100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011362250353.22
    101 rdf:type schema:Person
    102 sg:person.015066472515.27 schema:affiliation Nc8012f8e340f4d87a4ee5d9a579ea0a8
    103 schema:familyName Haar
    104 schema:givenName Stefan
    105 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015066472515.27
    106 rdf:type schema:Person
    107 sg:pub.10.1007/11494744_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029026678
    108 https://doi.org/10.1007/11494744_6
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/11690634_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020581321
    111 https://doi.org/10.1007/11690634_9
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/11767589_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026532601
    114 https://doi.org/10.1007/11767589_10
    115 rdf:type schema:CreativeWork
    116 sg:pub.10.1007/978-3-540-31982-5_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051417327
    117 https://doi.org/10.1007/978-3-540-31982-5_6
    118 rdf:type schema:CreativeWork
    119 sg:pub.10.1007/978-3-642-00596-1_27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033518267
    120 https://doi.org/10.1007/978-3-642-00596-1_27
    121 rdf:type schema:CreativeWork
    122 sg:pub.10.1007/978-3-642-04368-0_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003185557
    123 https://doi.org/10.1007/978-3-642-04368-0_6
    124 rdf:type schema:CreativeWork
    125 sg:pub.10.1007/s10626-005-5238-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022113780
    126 https://doi.org/10.1007/s10626-005-5238-5
    127 rdf:type schema:CreativeWork
    128 sg:pub.10.1007/s10626-006-0001-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020714989
    129 https://doi.org/10.1007/s10626-006-0001-0
    130 rdf:type schema:CreativeWork
    131 sg:pub.10.1023/a:1014746130920 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005669454
    132 https://doi.org/10.1023/a:1014746130920
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1016/0304-3975(81)90112-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035972534
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1016/j.ic.2005.10.001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005364420
    137 rdf:type schema:CreativeWork
    138 https://doi.org/10.1016/j.ic.2009.11.009 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050779923
    139 rdf:type schema:CreativeWork
    140 https://doi.org/10.1016/j.tcs.2007.09.018 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046352904
    141 rdf:type schema:CreativeWork
    142 https://doi.org/10.1016/s0304-3975(02)00694-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028608229
    143 rdf:type schema:CreativeWork
    144 https://doi.org/10.1109/9.412626 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061244618
    145 rdf:type schema:CreativeWork
    146 https://doi.org/10.1109/acsd.2008.4574598 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095135040
    147 rdf:type schema:CreativeWork
    148 https://doi.org/10.1109/cdc.2005.1583171 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093517029
    149 rdf:type schema:CreativeWork
    150 https://doi.org/10.1109/cdc.2005.1583176 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094184955
    151 rdf:type schema:CreativeWork
    152 https://doi.org/10.1109/cdc.2007.4434691 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094873271
    153 rdf:type schema:CreativeWork
    154 https://doi.org/10.1109/cdc.2009.5400917 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094769709
    155 rdf:type schema:CreativeWork
    156 https://doi.org/10.1109/tac.2003.811249 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061475291
    157 rdf:type schema:CreativeWork
    158 https://doi.org/10.1109/tac.2003.819076 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061475461
    159 rdf:type schema:CreativeWork
    160 https://doi.org/10.1109/tac.2010.2063490 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061477723
    161 rdf:type schema:CreativeWork
    162 https://doi.org/10.1109/wodes.2008.4605948 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095773125
    163 rdf:type schema:CreativeWork
    164 https://doi.org/10.3182/20050703-6-cz-1902.00299 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011579293
    165 rdf:type schema:CreativeWork
    166 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
    167 schema:name INRIA/IRISA, Campus de Beaulieu, F-35042 Rennes Cedex, France
    168 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...