Exploiting Local Persistency for Reduced State Space Generation View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-08-31

AUTHORS

Kamel Barkaoui , Hanifa Boucheneb , Zhiwu Li

ABSTRACT

This paper deals with the partial order techniques of Petri nets, based on persistent sets and step graphs. To take advantage of the strengths of each method, it proposes the persistent step sets as a parametric combination of the both methods. The persistent step sets method allows to fix, for each marking, the set of transitions to be covered by the selected steps and then to control their maximal length and number. Moreover, this persistent step selective search preserves, at least, deadlocks of Petri nets. This paper also provides two practical computation procedures of the persistent step sets based on the strong-persistent sets [5, 10] and the persistent sets, respectively. More... »

PAGES

166-181

References to SciGraph publications

  • 1992-12. A stubborn attack on state explosion in FORMAL METHODS IN SYSTEM DESIGN
  • 1996. Partial-Order Methods for the Verification of Concurrent Systems, An Approach to the State-Explosion Problem in NONE
  • 1996. On liveness and controlled siphons in Petri nets in APPLICATION AND THEORY OF PETRI NETS 1996
  • 1993. All from one, one for all: on model checking using representatives in COMPUTER AIDED VERIFICATION
  • 2010. Can Stubborn Sets Be Optimal? in APPLICATIONS AND THEORY OF PETRI NETS
  • 1998. The state explosion problem in LECTURES ON PETRI NETS I: BASIC MODELS
  • 1996. Covering step graph in APPLICATION AND THEORY OF PETRI NETS 1996
  • 2002. On Combining the Persistent Sets Method with the Covering Steps Graph Method in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYTEMS — FORTE 2002
  • 2001-12-18. “What Is a Petri Net?” Informal Answers for the Informed Reader in UNIFYING PETRI NETS
  • 2005. On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets in APPLICATIONS AND THEORY OF PETRI NETS 2005
  • Book

    TITLE

    Verification and Evaluation of Computer and Communication Systems

    ISBN

    978-3-030-00358-6
    978-3-030-00359-3

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-030-00359-3_11

    DOI

    http://dx.doi.org/10.1007/978-3-030-00359-3_11

    DIMENSIONS

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


    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/0802", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computation Theory and Mathematics", 
            "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": {
              "alternateName": "Conservatoire National des Arts et M\u00e9tiers", 
              "id": "https://www.grid.ac/institutes/grid.36823.3c", 
              "name": [
                "Laboratoire CEDRIC, Conservatoire National des Arts et M\u00e9tiers, 192 rue Saint Martin, Paris Cedex 03, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Barkaoui", 
            "givenName": "Kamel", 
            "id": "sg:person.016140360017.22", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016140360017.22"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Ecole Polytechnique de Montr\u00e9al", 
              "id": "https://www.grid.ac/institutes/grid.183158.6", 
              "name": [
                "Laboratoire VeriForm, Department of Computer Engineering and Software Engineering, \u00c9cole Polytechnique de Montr\u00e9al, P.O. Box 6079, Station Centre-ville, H3C 3A7, Montr\u00e9al, Qu\u00e9bec, Canada"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Boucheneb", 
            "givenName": "Hanifa", 
            "id": "sg:person.01151366546.67", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01151366546.67"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Xidian University", 
              "id": "https://www.grid.ac/institutes/grid.440736.2", 
              "name": [
                "Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau", 
                "School of Electro-Mechanical Engineering, Xidian University, 710071, Xi\u2019an, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Li", 
            "givenName": "Zhiwu", 
            "id": "sg:person.010367273543.74", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010367273543.74"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-45541-8_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003983995", 
              "https://doi.org/10.1007/3-540-45541-8_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45541-8_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003983995", 
              "https://doi.org/10.1007/3-540-45541-8_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-13675-7_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010502474", 
              "https://doi.org/10.1007/978-3-642-13675-7_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-13675-7_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010502474", 
              "https://doi.org/10.1007/978-3-642-13675-7_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11494744_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015443560", 
              "https://doi.org/10.1007/11494744_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11494744_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015443560", 
              "https://doi.org/10.1007/11494744_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00709154", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028368007", 
              "https://doi.org/10.1007/bf00709154"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00709154", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028368007", 
              "https://doi.org/10.1007/bf00709154"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00709154", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028368007", 
              "https://doi.org/10.1007/bf00709154"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-61363-3_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028723858", 
              "https://doi.org/10.1007/3-540-61363-3_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-65306-6_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029479179", 
              "https://doi.org/10.1007/3-540-65306-6_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-61363-3_28", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029720555", 
              "https://doi.org/10.1007/3-540-61363-3_28"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-56922-7_34", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036741660", 
              "https://doi.org/10.1007/3-540-56922-7_34"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0020-0190(97)00133-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040028840"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-36135-9_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041395927", 
              "https://doi.org/10.1007/3-540-36135-9_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tsmc.2014.2307284", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061794177"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-60761-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1109702730", 
              "https://doi.org/10.1007/3-540-60761-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-60761-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1109702730", 
              "https://doi.org/10.1007/3-540-60761-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-60761-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1109702730", 
              "https://doi.org/10.1007/3-540-60761-7"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-08-31", 
        "datePublishedReg": "2018-08-31", 
        "description": "This paper deals with the partial order techniques of Petri nets, based on persistent sets and step graphs. To take advantage of the strengths of each method, it proposes the persistent step sets as a parametric combination of the both methods. The persistent step sets method allows to fix, for each marking, the set of transitions to be covered by the selected steps and then to control their maximal length and number. Moreover, this persistent step selective search preserves, at least, deadlocks of Petri nets. This paper also provides two practical computation procedures of the persistent step sets based on the strong-persistent sets [5, 10] and the persistent sets, respectively.", 
        "editor": [
          {
            "familyName": "Atig", 
            "givenName": "Mohamed Faouzi", 
            "type": "Person"
          }, 
          {
            "familyName": "Bensalem", 
            "givenName": "Saddek", 
            "type": "Person"
          }, 
          {
            "familyName": "Bliudze", 
            "givenName": "Simon", 
            "type": "Person"
          }, 
          {
            "familyName": "Monsuez", 
            "givenName": "Bruno", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-030-00359-3_11", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-030-00358-6", 
            "978-3-030-00359-3"
          ], 
          "name": "Verification and Evaluation of Computer and Communication Systems", 
          "type": "Book"
        }, 
        "name": "Exploiting Local Persistency for Reduced State Space Generation", 
        "pagination": "166-181", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-030-00359-3_11"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "6a7e1f8b65a1b6ca137519aac4e2dd77583195ab1ad76e6917f156833e33b0d3"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1106429181"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-030-00359-3_11", 
          "https://app.dimensions.ai/details/publication/pub.1106429181"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T04:38", 
        "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/0000000321_0000000321/records_74902_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-030-00359-3_11"
      }
    ]
     

    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-3-030-00359-3_11'

    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-3-030-00359-3_11'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-00359-3_11'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-00359-3_11'


     

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

    147 TRIPLES      23 PREDICATES      38 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-030-00359-3_11 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author N5e2ad4a08dbd40fd83f27ac122fedb82
    4 schema:citation sg:pub.10.1007/11494744_7
    5 sg:pub.10.1007/3-540-36135-9_22
    6 sg:pub.10.1007/3-540-45541-8_1
    7 sg:pub.10.1007/3-540-56922-7_34
    8 sg:pub.10.1007/3-540-60761-7
    9 sg:pub.10.1007/3-540-61363-3_28
    10 sg:pub.10.1007/3-540-61363-3_4
    11 sg:pub.10.1007/3-540-65306-6_21
    12 sg:pub.10.1007/978-3-642-13675-7_5
    13 sg:pub.10.1007/bf00709154
    14 https://doi.org/10.1016/s0020-0190(97)00133-6
    15 https://doi.org/10.1109/tsmc.2014.2307284
    16 schema:datePublished 2018-08-31
    17 schema:datePublishedReg 2018-08-31
    18 schema:description This paper deals with the partial order techniques of Petri nets, based on persistent sets and step graphs. To take advantage of the strengths of each method, it proposes the persistent step sets as a parametric combination of the both methods. The persistent step sets method allows to fix, for each marking, the set of transitions to be covered by the selected steps and then to control their maximal length and number. Moreover, this persistent step selective search preserves, at least, deadlocks of Petri nets. This paper also provides two practical computation procedures of the persistent step sets based on the strong-persistent sets [5, 10] and the persistent sets, respectively.
    19 schema:editor N26df08db08994d9c80091f5fd0126e20
    20 schema:genre chapter
    21 schema:inLanguage en
    22 schema:isAccessibleForFree false
    23 schema:isPartOf N320a7edfb98f4054ae5ab156837aad2e
    24 schema:name Exploiting Local Persistency for Reduced State Space Generation
    25 schema:pagination 166-181
    26 schema:productId N1a88c51f79244dec93bda78de21b478a
    27 N481d8f4ec2874921bcbcdf0b58ae5b42
    28 N8e3ef1cb1cd44cd29cbc052b60900192
    29 schema:publisher N99381394682043c2803cae9c1b52a30c
    30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1106429181
    31 https://doi.org/10.1007/978-3-030-00359-3_11
    32 schema:sdDatePublished 2019-04-16T04:38
    33 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    34 schema:sdPublisher N2b1ed8e7da3f48b5997ba7b1c9f9c6ec
    35 schema:url https://link.springer.com/10.1007%2F978-3-030-00359-3_11
    36 sgo:license sg:explorer/license/
    37 sgo:sdDataset chapters
    38 rdf:type schema:Chapter
    39 N07f87d5c4e9c4f188d197e4baf8e6eb9 schema:familyName Monsuez
    40 schema:givenName Bruno
    41 rdf:type schema:Person
    42 N1a88c51f79244dec93bda78de21b478a schema:name dimensions_id
    43 schema:value pub.1106429181
    44 rdf:type schema:PropertyValue
    45 N26df08db08994d9c80091f5fd0126e20 rdf:first N2ef984d845114ba3b4c3889a810a2943
    46 rdf:rest Naa4a9e09d799468699f051fb4c2c4dc2
    47 N2b1ed8e7da3f48b5997ba7b1c9f9c6ec schema:name Springer Nature - SN SciGraph project
    48 rdf:type schema:Organization
    49 N2ef984d845114ba3b4c3889a810a2943 schema:familyName Atig
    50 schema:givenName Mohamed Faouzi
    51 rdf:type schema:Person
    52 N320a7edfb98f4054ae5ab156837aad2e schema:isbn 978-3-030-00358-6
    53 978-3-030-00359-3
    54 schema:name Verification and Evaluation of Computer and Communication Systems
    55 rdf:type schema:Book
    56 N481d8f4ec2874921bcbcdf0b58ae5b42 schema:name readcube_id
    57 schema:value 6a7e1f8b65a1b6ca137519aac4e2dd77583195ab1ad76e6917f156833e33b0d3
    58 rdf:type schema:PropertyValue
    59 N4d7e6fd23c5848b89bc39950a3d607be schema:familyName Bensalem
    60 schema:givenName Saddek
    61 rdf:type schema:Person
    62 N5e2ad4a08dbd40fd83f27ac122fedb82 rdf:first sg:person.016140360017.22
    63 rdf:rest Ne5cd1967d5e34915b6201f20773d7b80
    64 N77bdaf0edb2e47769b5f0ac4b00113b5 rdf:first N8764715341ea4e54a57396f4b483649e
    65 rdf:rest Nd1bd2e2d8d6b42de943f26507fe09d72
    66 N8764715341ea4e54a57396f4b483649e schema:familyName Bliudze
    67 schema:givenName Simon
    68 rdf:type schema:Person
    69 N8e3ef1cb1cd44cd29cbc052b60900192 schema:name doi
    70 schema:value 10.1007/978-3-030-00359-3_11
    71 rdf:type schema:PropertyValue
    72 N99381394682043c2803cae9c1b52a30c schema:location Cham
    73 schema:name Springer International Publishing
    74 rdf:type schema:Organisation
    75 Naa4a9e09d799468699f051fb4c2c4dc2 rdf:first N4d7e6fd23c5848b89bc39950a3d607be
    76 rdf:rest N77bdaf0edb2e47769b5f0ac4b00113b5
    77 Nd1bd2e2d8d6b42de943f26507fe09d72 rdf:first N07f87d5c4e9c4f188d197e4baf8e6eb9
    78 rdf:rest rdf:nil
    79 Ne5cd1967d5e34915b6201f20773d7b80 rdf:first sg:person.01151366546.67
    80 rdf:rest Neb9b7ddf97d245a09fcbde1ac591eda1
    81 Neb9b7ddf97d245a09fcbde1ac591eda1 rdf:first sg:person.010367273543.74
    82 rdf:rest rdf:nil
    83 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    84 schema:name Information and Computing Sciences
    85 rdf:type schema:DefinedTerm
    86 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    87 schema:name Computation Theory and Mathematics
    88 rdf:type schema:DefinedTerm
    89 sg:person.010367273543.74 schema:affiliation https://www.grid.ac/institutes/grid.440736.2
    90 schema:familyName Li
    91 schema:givenName Zhiwu
    92 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010367273543.74
    93 rdf:type schema:Person
    94 sg:person.01151366546.67 schema:affiliation https://www.grid.ac/institutes/grid.183158.6
    95 schema:familyName Boucheneb
    96 schema:givenName Hanifa
    97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01151366546.67
    98 rdf:type schema:Person
    99 sg:person.016140360017.22 schema:affiliation https://www.grid.ac/institutes/grid.36823.3c
    100 schema:familyName Barkaoui
    101 schema:givenName Kamel
    102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016140360017.22
    103 rdf:type schema:Person
    104 sg:pub.10.1007/11494744_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015443560
    105 https://doi.org/10.1007/11494744_7
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/3-540-36135-9_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041395927
    108 https://doi.org/10.1007/3-540-36135-9_22
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/3-540-45541-8_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003983995
    111 https://doi.org/10.1007/3-540-45541-8_1
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/3-540-56922-7_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036741660
    114 https://doi.org/10.1007/3-540-56922-7_34
    115 rdf:type schema:CreativeWork
    116 sg:pub.10.1007/3-540-60761-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109702730
    117 https://doi.org/10.1007/3-540-60761-7
    118 rdf:type schema:CreativeWork
    119 sg:pub.10.1007/3-540-61363-3_28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029720555
    120 https://doi.org/10.1007/3-540-61363-3_28
    121 rdf:type schema:CreativeWork
    122 sg:pub.10.1007/3-540-61363-3_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028723858
    123 https://doi.org/10.1007/3-540-61363-3_4
    124 rdf:type schema:CreativeWork
    125 sg:pub.10.1007/3-540-65306-6_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029479179
    126 https://doi.org/10.1007/3-540-65306-6_21
    127 rdf:type schema:CreativeWork
    128 sg:pub.10.1007/978-3-642-13675-7_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010502474
    129 https://doi.org/10.1007/978-3-642-13675-7_5
    130 rdf:type schema:CreativeWork
    131 sg:pub.10.1007/bf00709154 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028368007
    132 https://doi.org/10.1007/bf00709154
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1016/s0020-0190(97)00133-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040028840
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1109/tsmc.2014.2307284 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061794177
    137 rdf:type schema:CreativeWork
    138 https://www.grid.ac/institutes/grid.183158.6 schema:alternateName Ecole Polytechnique de Montréal
    139 schema:name Laboratoire VeriForm, Department of Computer Engineering and Software Engineering, École Polytechnique de Montréal, P.O. Box 6079, Station Centre-ville, H3C 3A7, Montréal, Québec, Canada
    140 rdf:type schema:Organization
    141 https://www.grid.ac/institutes/grid.36823.3c schema:alternateName Conservatoire National des Arts et Métiers
    142 schema:name Laboratoire CEDRIC, Conservatoire National des Arts et Métiers, 192 rue Saint Martin, Paris Cedex 03, France
    143 rdf:type schema:Organization
    144 https://www.grid.ac/institutes/grid.440736.2 schema:alternateName Xidian University
    145 schema:name Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau
    146 School of Electro-Mechanical Engineering, Xidian University, 710071, Xi’an, China
    147 rdf:type schema:Organization
     




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


    ...