Bounded choice-free Petri net synthesis: algorithmic issues View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2018-11

AUTHORS

Eike Best, Raymond Devillers, Uli Schlachter

ABSTRACT

This paper describes a synthesis procedure dedicated to the construction of choice-free Petri nets from finite persistent transition systems, whenever possible. Taking advantage of the properties of choice-free Petri nets, a two-step approach is proposed. A pre-synthesis step checks necessary structural properties of the transition system and constructs some data structures needed for the second step. Then, a minimised set of simplified systems of linear inequalities is distilled from a general region-theoretic approach. This leads to a substantial narrowing of the sets of states for which linear inequalities must be solved, and allows an early detection of failures, supported by constructive error messages. The performance of the resulting algorithm is measured and compared numerically with existing synthesis tools. More... »

PAGES

575-611

References to SciGraph publications

  • 1998. Theory of regions in LECTURES ON PETRI NETS I: BASIC MODELS
  • 2009-05. A decomposition theorem for finite persistent transition systems in ACTA INFORMATICA
  • 2002-08. Distributing Finite Automata Through Petri Net Synthesis in FORMAL ASPECTS OF COMPUTING
  • 1995. Polynomial algorithms for the synthesis of bounded nets in TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT
  • 2014. Synthesis of Persistent Systems in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
  • 1980. Concurrency in NET THEORY AND APPLICATIONS
  • 2015-04. State space axioms for T-systems in ACTA INFORMATICA
  • 2015-02. Synthesis and reengineering of persistent systems in ACTA INFORMATICA
  • 2016. Characterising Petri Net Solvable Binary Words in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
  • 1991. Distributable nets in ADVANCES IN PETRI NETS 1991
  • 2012. Petri Net Distributability in PERSPECTIVES OF SYSTEMS INFORMATICS
  • 1975. A fundamental theorem of asynchronous parallel computation in PARALLEL PROCESSING
  • 2008. A Symbolic Algorithm for the Synthesis of Bounded Petri Nets in APPLICATIONS AND THEORY OF PETRI NETS
  • 1971-06. Hierarchical ordering of sequential processes in ACTA INFORMATICA
  • 1990-03. Partial (set) 2-structures in ACTA INFORMATICA
  • 2012. The Label Splitting Problem in TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VI
  • 2012. SMTInterpol: An Interpolating SMT Solver in MODEL CHECKING SOFTWARE
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s00236-017-0310-9

    DOI

    http://dx.doi.org/10.1007/s00236-017-0310-9

    DIMENSIONS

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


    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/1117", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Public Health and Health Services", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/11", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Medical and Health Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Carl von Ossietzky University of Oldenburg", 
              "id": "https://www.grid.ac/institutes/grid.5560.6", 
              "name": [
                "Department of Computing Science, Carl von Ossietzky Universit\u00e4t, 26111, Oldenburg, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Best", 
            "givenName": "Eike", 
            "id": "sg:person.013173315551.99", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013173315551.99"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Universit\u00e9 Libre de Bruxelles", 
              "id": "https://www.grid.ac/institutes/grid.4989.c", 
              "name": [
                "Universit\u00e9 Libre de Bruxelles, Boulevard du Triomphe, C.P. 212, 1050, Bruxelles, Belgium"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Devillers", 
            "givenName": "Raymond", 
            "id": "sg:person.013743024373.60", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013743024373.60"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Carl von Ossietzky University of Oldenburg", 
              "id": "https://www.grid.ac/institutes/grid.5560.6", 
              "name": [
                "Department of Computing Science, Carl von Ossietzky Universit\u00e4t, 26111, Oldenburg, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Schlachter", 
            "givenName": "Uli", 
            "id": "sg:person.014265763421.05", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014265763421.05"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/s00236-015-0219-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001508575", 
              "https://doi.org/10.1007/s00236-015-0219-0"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-10001-6_26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003097892", 
              "https://doi.org/10.1007/3-540-10001-6_26"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ic.2016.06.006", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007994561"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s001650200022", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010692399", 
              "https://doi.org/10.1007/s001650200022"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0019974", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012739630", 
              "https://doi.org/10.1007/bfb0019974"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-07135-0_113", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014726908", 
              "https://doi.org/10.1007/3-540-07135-0_113"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-29709-0_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018945906", 
              "https://doi.org/10.1007/978-3-642-29709-0_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/322077.322079", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025506746"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-68746-7_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025858233", 
              "https://doi.org/10.1007/978-3-540-68746-7_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0020-0190(75)90020-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026659458"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-35179-2_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027041350", 
              "https://doi.org/10.1007/978-3-642-35179-2_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-39086-4_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027442047", 
              "https://doi.org/10.1007/978-3-319-39086-4_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-31759-0_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032575060", 
              "https://doi.org/10.1007/978-3-642-31759-0_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(96)00219-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033793451"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-65306-6_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034074281", 
              "https://doi.org/10.1007/3-540-65306-6_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00236-014-0209-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040374235", 
              "https://doi.org/10.1007/s00236-014-0209-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-07734-5_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042237366", 
              "https://doi.org/10.1007/978-3-319-07734-5_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00236-009-0095-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042913150", 
              "https://doi.org/10.1007/s00236-009-0095-6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00236-009-0095-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042913150", 
              "https://doi.org/10.1007/s00236-009-0095-6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00236-009-0095-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042913150", 
              "https://doi.org/10.1007/s00236-009-0095-6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00264611", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047232716", 
              "https://doi.org/10.1007/bf00264611"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00264611", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047232716", 
              "https://doi.org/10.1007/bf00264611"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0022-0000(71)80013-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048488422"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00289519", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050860384", 
              "https://doi.org/10.1007/bf00289519"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.3233/fi-2015-1244", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051218680"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-59293-8_207", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052212945", 
              "https://doi.org/10.1007/3-540-59293-8_207"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/12.707587", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061088851"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/3468.553226", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061157503"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/5.24143", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061179070"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tc.2009.131", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061534727"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/edtc.1995.470376", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095089867"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511526558", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098786518"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-11", 
        "datePublishedReg": "2018-11-01", 
        "description": "This paper describes a synthesis procedure dedicated to the construction of choice-free Petri nets from finite persistent transition systems, whenever possible. Taking advantage of the properties of choice-free Petri nets, a two-step approach is proposed. A pre-synthesis step checks necessary structural properties of the transition system and constructs some data structures needed for the second step. Then, a minimised set of simplified systems of linear inequalities is distilled from a general region-theoretic approach. This leads to a substantial narrowing of the sets of states for which linear inequalities must be solved, and allows an early detection of failures, supported by constructive error messages. The performance of the resulting algorithm is measured and compared numerically with existing synthesis tools.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s00236-017-0310-9", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1133515", 
            "issn": [
              "0001-5903", 
              "1432-0525"
            ], 
            "name": "Acta Informatica", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "7", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "55"
          }
        ], 
        "name": "Bounded choice-free Petri net synthesis: algorithmic issues", 
        "pagination": "575-611", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "fbf27859786357172c4ad961d0c9bf63e7d5415f6b1e7a7ef2d6770b82c4d667"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s00236-017-0310-9"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1092799975"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s00236-017-0310-9", 
          "https://app.dimensions.ai/details/publication/pub.1092799975"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-10T15:59", 
        "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_8664_00000555.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://link.springer.com/10.1007%2Fs00236-017-0310-9"
      }
    ]
     

    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/s00236-017-0310-9'

    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/s00236-017-0310-9'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00236-017-0310-9'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00236-017-0310-9'


     

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

    182 TRIPLES      21 PREDICATES      56 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s00236-017-0310-9 schema:about anzsrc-for:11
    2 anzsrc-for:1117
    3 schema:author Nf119c895d91d409b80c935a40b4da01f
    4 schema:citation sg:pub.10.1007/3-540-07135-0_113
    5 sg:pub.10.1007/3-540-10001-6_26
    6 sg:pub.10.1007/3-540-59293-8_207
    7 sg:pub.10.1007/3-540-65306-6_22
    8 sg:pub.10.1007/978-3-319-07734-5_7
    9 sg:pub.10.1007/978-3-319-39086-4_4
    10 sg:pub.10.1007/978-3-540-68746-7_10
    11 sg:pub.10.1007/978-3-642-29709-0_1
    12 sg:pub.10.1007/978-3-642-31759-0_19
    13 sg:pub.10.1007/978-3-642-35179-2_1
    14 sg:pub.10.1007/bf00264611
    15 sg:pub.10.1007/bf00289519
    16 sg:pub.10.1007/bfb0019974
    17 sg:pub.10.1007/s001650200022
    18 sg:pub.10.1007/s00236-009-0095-6
    19 sg:pub.10.1007/s00236-014-0209-7
    20 sg:pub.10.1007/s00236-015-0219-0
    21 https://doi.org/10.1016/0020-0190(75)90020-4
    22 https://doi.org/10.1016/j.ic.2016.06.006
    23 https://doi.org/10.1016/s0022-0000(71)80013-2
    24 https://doi.org/10.1016/s0304-3975(96)00219-8
    25 https://doi.org/10.1017/cbo9780511526558
    26 https://doi.org/10.1109/12.707587
    27 https://doi.org/10.1109/3468.553226
    28 https://doi.org/10.1109/5.24143
    29 https://doi.org/10.1109/edtc.1995.470376
    30 https://doi.org/10.1109/tc.2009.131
    31 https://doi.org/10.1145/322077.322079
    32 https://doi.org/10.3233/fi-2015-1244
    33 schema:datePublished 2018-11
    34 schema:datePublishedReg 2018-11-01
    35 schema:description This paper describes a synthesis procedure dedicated to the construction of choice-free Petri nets from finite persistent transition systems, whenever possible. Taking advantage of the properties of choice-free Petri nets, a two-step approach is proposed. A pre-synthesis step checks necessary structural properties of the transition system and constructs some data structures needed for the second step. Then, a minimised set of simplified systems of linear inequalities is distilled from a general region-theoretic approach. This leads to a substantial narrowing of the sets of states for which linear inequalities must be solved, and allows an early detection of failures, supported by constructive error messages. The performance of the resulting algorithm is measured and compared numerically with existing synthesis tools.
    36 schema:genre research_article
    37 schema:inLanguage en
    38 schema:isAccessibleForFree false
    39 schema:isPartOf N17c95e907398497da1edbefe536a1b44
    40 N4fb78a4127214d0181d97e1e24a3606d
    41 sg:journal.1133515
    42 schema:name Bounded choice-free Petri net synthesis: algorithmic issues
    43 schema:pagination 575-611
    44 schema:productId N190706c1f8384d0db523a33ac3ac0e1d
    45 N5c795b66dccb4199b4a60611e733308b
    46 Nbd0102558bcd46e196e33e2a327cf1a6
    47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092799975
    48 https://doi.org/10.1007/s00236-017-0310-9
    49 schema:sdDatePublished 2019-04-10T15:59
    50 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    51 schema:sdPublisher N4835fcaea6154817bea3954218f2a9d0
    52 schema:url https://link.springer.com/10.1007%2Fs00236-017-0310-9
    53 sgo:license sg:explorer/license/
    54 sgo:sdDataset articles
    55 rdf:type schema:ScholarlyArticle
    56 N0c006ae2a49648b2b19820b91881966e rdf:first sg:person.014265763421.05
    57 rdf:rest rdf:nil
    58 N17c95e907398497da1edbefe536a1b44 schema:volumeNumber 55
    59 rdf:type schema:PublicationVolume
    60 N190706c1f8384d0db523a33ac3ac0e1d schema:name readcube_id
    61 schema:value fbf27859786357172c4ad961d0c9bf63e7d5415f6b1e7a7ef2d6770b82c4d667
    62 rdf:type schema:PropertyValue
    63 N4835fcaea6154817bea3954218f2a9d0 schema:name Springer Nature - SN SciGraph project
    64 rdf:type schema:Organization
    65 N4fb78a4127214d0181d97e1e24a3606d schema:issueNumber 7
    66 rdf:type schema:PublicationIssue
    67 N5c795b66dccb4199b4a60611e733308b schema:name doi
    68 schema:value 10.1007/s00236-017-0310-9
    69 rdf:type schema:PropertyValue
    70 Nbd0102558bcd46e196e33e2a327cf1a6 schema:name dimensions_id
    71 schema:value pub.1092799975
    72 rdf:type schema:PropertyValue
    73 Ndbd9d2bbcbe44622b7b0d41437a2dc8c rdf:first sg:person.013743024373.60
    74 rdf:rest N0c006ae2a49648b2b19820b91881966e
    75 Nf119c895d91d409b80c935a40b4da01f rdf:first sg:person.013173315551.99
    76 rdf:rest Ndbd9d2bbcbe44622b7b0d41437a2dc8c
    77 anzsrc-for:11 schema:inDefinedTermSet anzsrc-for:
    78 schema:name Medical and Health Sciences
    79 rdf:type schema:DefinedTerm
    80 anzsrc-for:1117 schema:inDefinedTermSet anzsrc-for:
    81 schema:name Public Health and Health Services
    82 rdf:type schema:DefinedTerm
    83 sg:journal.1133515 schema:issn 0001-5903
    84 1432-0525
    85 schema:name Acta Informatica
    86 rdf:type schema:Periodical
    87 sg:person.013173315551.99 schema:affiliation https://www.grid.ac/institutes/grid.5560.6
    88 schema:familyName Best
    89 schema:givenName Eike
    90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013173315551.99
    91 rdf:type schema:Person
    92 sg:person.013743024373.60 schema:affiliation https://www.grid.ac/institutes/grid.4989.c
    93 schema:familyName Devillers
    94 schema:givenName Raymond
    95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013743024373.60
    96 rdf:type schema:Person
    97 sg:person.014265763421.05 schema:affiliation https://www.grid.ac/institutes/grid.5560.6
    98 schema:familyName Schlachter
    99 schema:givenName Uli
    100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014265763421.05
    101 rdf:type schema:Person
    102 sg:pub.10.1007/3-540-07135-0_113 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014726908
    103 https://doi.org/10.1007/3-540-07135-0_113
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/3-540-10001-6_26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003097892
    106 https://doi.org/10.1007/3-540-10001-6_26
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/3-540-59293-8_207 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052212945
    109 https://doi.org/10.1007/3-540-59293-8_207
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/3-540-65306-6_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034074281
    112 https://doi.org/10.1007/3-540-65306-6_22
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/978-3-319-07734-5_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042237366
    115 https://doi.org/10.1007/978-3-319-07734-5_7
    116 rdf:type schema:CreativeWork
    117 sg:pub.10.1007/978-3-319-39086-4_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027442047
    118 https://doi.org/10.1007/978-3-319-39086-4_4
    119 rdf:type schema:CreativeWork
    120 sg:pub.10.1007/978-3-540-68746-7_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025858233
    121 https://doi.org/10.1007/978-3-540-68746-7_10
    122 rdf:type schema:CreativeWork
    123 sg:pub.10.1007/978-3-642-29709-0_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018945906
    124 https://doi.org/10.1007/978-3-642-29709-0_1
    125 rdf:type schema:CreativeWork
    126 sg:pub.10.1007/978-3-642-31759-0_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032575060
    127 https://doi.org/10.1007/978-3-642-31759-0_19
    128 rdf:type schema:CreativeWork
    129 sg:pub.10.1007/978-3-642-35179-2_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027041350
    130 https://doi.org/10.1007/978-3-642-35179-2_1
    131 rdf:type schema:CreativeWork
    132 sg:pub.10.1007/bf00264611 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047232716
    133 https://doi.org/10.1007/bf00264611
    134 rdf:type schema:CreativeWork
    135 sg:pub.10.1007/bf00289519 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050860384
    136 https://doi.org/10.1007/bf00289519
    137 rdf:type schema:CreativeWork
    138 sg:pub.10.1007/bfb0019974 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012739630
    139 https://doi.org/10.1007/bfb0019974
    140 rdf:type schema:CreativeWork
    141 sg:pub.10.1007/s001650200022 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010692399
    142 https://doi.org/10.1007/s001650200022
    143 rdf:type schema:CreativeWork
    144 sg:pub.10.1007/s00236-009-0095-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042913150
    145 https://doi.org/10.1007/s00236-009-0095-6
    146 rdf:type schema:CreativeWork
    147 sg:pub.10.1007/s00236-014-0209-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040374235
    148 https://doi.org/10.1007/s00236-014-0209-7
    149 rdf:type schema:CreativeWork
    150 sg:pub.10.1007/s00236-015-0219-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001508575
    151 https://doi.org/10.1007/s00236-015-0219-0
    152 rdf:type schema:CreativeWork
    153 https://doi.org/10.1016/0020-0190(75)90020-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026659458
    154 rdf:type schema:CreativeWork
    155 https://doi.org/10.1016/j.ic.2016.06.006 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007994561
    156 rdf:type schema:CreativeWork
    157 https://doi.org/10.1016/s0022-0000(71)80013-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048488422
    158 rdf:type schema:CreativeWork
    159 https://doi.org/10.1016/s0304-3975(96)00219-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033793451
    160 rdf:type schema:CreativeWork
    161 https://doi.org/10.1017/cbo9780511526558 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098786518
    162 rdf:type schema:CreativeWork
    163 https://doi.org/10.1109/12.707587 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061088851
    164 rdf:type schema:CreativeWork
    165 https://doi.org/10.1109/3468.553226 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061157503
    166 rdf:type schema:CreativeWork
    167 https://doi.org/10.1109/5.24143 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061179070
    168 rdf:type schema:CreativeWork
    169 https://doi.org/10.1109/edtc.1995.470376 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095089867
    170 rdf:type schema:CreativeWork
    171 https://doi.org/10.1109/tc.2009.131 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061534727
    172 rdf:type schema:CreativeWork
    173 https://doi.org/10.1145/322077.322079 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025506746
    174 rdf:type schema:CreativeWork
    175 https://doi.org/10.3233/fi-2015-1244 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051218680
    176 rdf:type schema:CreativeWork
    177 https://www.grid.ac/institutes/grid.4989.c schema:alternateName Université Libre de Bruxelles
    178 schema:name Université Libre de Bruxelles, Boulevard du Triomphe, C.P. 212, 1050, Bruxelles, Belgium
    179 rdf:type schema:Organization
    180 https://www.grid.ac/institutes/grid.5560.6 schema:alternateName Carl von Ossietzky University of Oldenburg
    181 schema:name Department of Computing Science, Carl von Ossietzky Universität, 26111, Oldenburg, Germany
    182 rdf:type schema:Organization
     




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


    ...