Unfolding of Products of Symmetrical Petri Nets View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2001-06-28

AUTHORS

Jean-Michel Couvreur , Sébastien Grivet , Denis Poitrenaud

ABSTRACT

This paper presents a general technique for the modular construction ofcomplete prefixes adapted to systems composed ofP etri nets. This construction is based on a definition ofa well-adapted order allowing combination. Moreover, the proposed technique takes into account the symmetries ofthe system to minimize the size ofthe produced complete prefixes. Finally, the technique has been instantiated in an efficient algorithm for systems combining finite state machines and k-bounded queues with k a priori known or not. More... »

PAGES

121-143

References to SciGraph publications

  • 1993. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits in COMPUTER AIDED VERIFICATION
  • 2000. A Model Checking Method for Partially Symmetric Systems in FORMAL METHODS FOR DISTRIBUTED SYSTEM DEVELOPMENT
  • 1993. Model checking using net unfoldings in TAPSOFT'93: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT
  • 2002-04-19. An Unfolding Algorithm for Synchronous Products of Transition Systems in CONCUR’99 CONCURRENCY THEORY
  • 1996. An improvement of McMillan's unfolding algorithm in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 1991-06. Branching processes of Petri nets in ACTA INFORMATICA
  • 2003-01-14. A Complete Finite Prefix for Process Algebra in COMPUTER AIDED VERIFICATION
  • 2000. Designing a LTL Model-Checker Based on Unfolding Graphs in APPLICATION AND THEORY OF PETRI NETS 2000
  • 2002-02-18. A New Unfolding Approach to LTL Model Checking in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2003-04-18. Detection of Illegal Behaviours Based on Unfoldings in APPLICATION AND THEORY OF PETRI NETS 1999
  • Book

    TITLE

    Applications and Theory of Petri Nets 2001

    ISBN

    978-3-540-42252-5
    978-3-540-45740-4

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/3-540-45740-2_9

    DOI

    http://dx.doi.org/10.1007/3-540-45740-2_9

    DIMENSIONS

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


    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/0905", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Civil Engineering", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/09", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Engineering", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Bordeaux", 
              "id": "https://www.grid.ac/institutes/grid.412041.2", 
              "name": [
                "LaBRI, Universit\u00e9 de Bordeaux I, Talence, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Couvreur", 
            "givenName": "Jean-Michel", 
            "id": "sg:person.016176274333.00", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016176274333.00"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Bordeaux", 
              "id": "https://www.grid.ac/institutes/grid.412041.2", 
              "name": [
                "LaBRI, Universit\u00e9 de Bordeaux I, Talence, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Grivet", 
            "givenName": "S\u00e9bastien", 
            "id": "sg:person.016521621307.07", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016521621307.07"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire d'informatique de Paris 6", 
              "id": "https://www.grid.ac/institutes/grid.462751.3", 
              "name": [
                "LIP6, Universit\u00e9 Pierre et Marie Curie, Paris, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Poitrenaud", 
            "givenName": "Denis", 
            "id": "sg:person.016451700601.29", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016451700601.29"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-56610-4_93", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002045929", 
              "https://doi.org/10.1007/3-540-56610-4_93"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-61042-1_40", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004444673", 
              "https://doi.org/10.1007/3-540-61042-1_40"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48683-6_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015412511", 
              "https://doi.org/10.1007/3-540-48683-6_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48683-6_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015412511", 
              "https://doi.org/10.1007/3-540-48683-6_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45022-x_40", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018312477", 
              "https://doi.org/10.1007/3-540-45022-x_40"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45022-x_40", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018312477", 
              "https://doi.org/10.1007/3-540-45022-x_40"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01463946", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023439124", 
              "https://doi.org/10.1007/bf01463946"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01463946", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023439124", 
              "https://doi.org/10.1007/bf01463946"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44988-4_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023510064", 
              "https://doi.org/10.1007/3-540-44988-4_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-56496-9_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034555011", 
              "https://doi.org/10.1007/3-540-56496-9_14"
            ], 
            "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": "sg:pub.10.1007/3-540-48320-9_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040370433", 
              "https://doi.org/10.1007/3-540-48320-9_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48320-9_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040370433", 
              "https://doi.org/10.1007/3-540-48320-9_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48745-x_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051463251", 
              "https://doi.org/10.1007/3-540-48745-x_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48745-x_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051463251", 
              "https://doi.org/10.1007/3-540-48745-x_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-0-387-35533-7_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052551567", 
              "https://doi.org/10.1007/978-0-387-35533-7_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/12.247838", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061087743"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2001-06-28", 
        "datePublishedReg": "2001-06-28", 
        "description": "This paper presents a general technique for the modular construction ofcomplete prefixes adapted to systems composed ofP etri nets. This construction is based on a definition ofa well-adapted order allowing combination. Moreover, the proposed technique takes into account the symmetries ofthe system to minimize the size ofthe produced complete prefixes. Finally, the technique has been instantiated in an efficient algorithm for systems combining finite state machines and k-bounded queues with k a priori known or not.", 
        "editor": [
          {
            "familyName": "Colom", 
            "givenName": "Jos\u00e9-Manuel", 
            "type": "Person"
          }, 
          {
            "familyName": "Koutny", 
            "givenName": "Maciej", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/3-540-45740-2_9", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-42252-5", 
            "978-3-540-45740-4"
          ], 
          "name": "Applications and Theory of Petri Nets 2001", 
          "type": "Book"
        }, 
        "name": "Unfolding of Products of Symmetrical Petri Nets", 
        "pagination": "121-143", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-45740-2_9"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "ada9844677846700ef35bc2290a9dd38eda36862f836e86911c585beaf5ef433"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1036455926"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-45740-2_9", 
          "https://app.dimensions.ai/details/publication/pub.1036455926"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T05:40", 
        "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/0000000347_0000000347/records_89785_00000001.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F3-540-45740-2_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/3-540-45740-2_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/3-540-45740-2_9'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-45740-2_9'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-45740-2_9'


     

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

    133 TRIPLES      23 PREDICATES      38 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-45740-2_9 schema:about anzsrc-for:09
    2 anzsrc-for:0905
    3 schema:author Nf2fe1d35bd59401a9b719ba038ab37cd
    4 schema:citation sg:pub.10.1007/3-540-44988-4_9
    5 sg:pub.10.1007/3-540-45022-x_40
    6 sg:pub.10.1007/3-540-48320-9_2
    7 sg:pub.10.1007/3-540-48683-6_18
    8 sg:pub.10.1007/3-540-48745-x_22
    9 sg:pub.10.1007/3-540-56496-9_14
    10 sg:pub.10.1007/3-540-56610-4_93
    11 sg:pub.10.1007/3-540-61042-1_40
    12 sg:pub.10.1007/978-0-387-35533-7_8
    13 sg:pub.10.1007/bf01463946
    14 https://doi.org/10.1016/0304-3975(81)90112-2
    15 https://doi.org/10.1109/12.247838
    16 schema:datePublished 2001-06-28
    17 schema:datePublishedReg 2001-06-28
    18 schema:description This paper presents a general technique for the modular construction ofcomplete prefixes adapted to systems composed ofP etri nets. This construction is based on a definition ofa well-adapted order allowing combination. Moreover, the proposed technique takes into account the symmetries ofthe system to minimize the size ofthe produced complete prefixes. Finally, the technique has been instantiated in an efficient algorithm for systems combining finite state machines and k-bounded queues with k a priori known or not.
    19 schema:editor N01c9e458652b4fdfb882e002f68607d2
    20 schema:genre chapter
    21 schema:inLanguage en
    22 schema:isAccessibleForFree false
    23 schema:isPartOf N971a439a0b424b0d950a6054febf666f
    24 schema:name Unfolding of Products of Symmetrical Petri Nets
    25 schema:pagination 121-143
    26 schema:productId N02de942cf9cf4bf08a3171a1355f7291
    27 N6c48f3465f34467c92210027b7eae076
    28 N9ccfce60dbfe4755a90fe5c256a91ae9
    29 schema:publisher N0b823adea3774c3fa3f37d0cee8d0f12
    30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036455926
    31 https://doi.org/10.1007/3-540-45740-2_9
    32 schema:sdDatePublished 2019-04-16T05:40
    33 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    34 schema:sdPublisher N67f5f169e0e2486c9ce9d2de6123a003
    35 schema:url https://link.springer.com/10.1007%2F3-540-45740-2_9
    36 sgo:license sg:explorer/license/
    37 sgo:sdDataset chapters
    38 rdf:type schema:Chapter
    39 N01c9e458652b4fdfb882e002f68607d2 rdf:first N8bdb8695f375413b984670aac92c1430
    40 rdf:rest Nf4341252280c4ad89492acf3816fe44b
    41 N02de942cf9cf4bf08a3171a1355f7291 schema:name doi
    42 schema:value 10.1007/3-540-45740-2_9
    43 rdf:type schema:PropertyValue
    44 N0b823adea3774c3fa3f37d0cee8d0f12 schema:location Berlin, Heidelberg
    45 schema:name Springer Berlin Heidelberg
    46 rdf:type schema:Organisation
    47 N18a39a6737394abf9e49116386494b71 rdf:first sg:person.016451700601.29
    48 rdf:rest rdf:nil
    49 N24f427fe0be24bb0a9b179dc258c90f9 rdf:first sg:person.016521621307.07
    50 rdf:rest N18a39a6737394abf9e49116386494b71
    51 N67f5f169e0e2486c9ce9d2de6123a003 schema:name Springer Nature - SN SciGraph project
    52 rdf:type schema:Organization
    53 N6c48f3465f34467c92210027b7eae076 schema:name dimensions_id
    54 schema:value pub.1036455926
    55 rdf:type schema:PropertyValue
    56 N8bdb8695f375413b984670aac92c1430 schema:familyName Colom
    57 schema:givenName José-Manuel
    58 rdf:type schema:Person
    59 N971a439a0b424b0d950a6054febf666f schema:isbn 978-3-540-42252-5
    60 978-3-540-45740-4
    61 schema:name Applications and Theory of Petri Nets 2001
    62 rdf:type schema:Book
    63 N9ccfce60dbfe4755a90fe5c256a91ae9 schema:name readcube_id
    64 schema:value ada9844677846700ef35bc2290a9dd38eda36862f836e86911c585beaf5ef433
    65 rdf:type schema:PropertyValue
    66 Nbc73a9801dc548b0b125a5bb520e48f5 schema:familyName Koutny
    67 schema:givenName Maciej
    68 rdf:type schema:Person
    69 Nf2fe1d35bd59401a9b719ba038ab37cd rdf:first sg:person.016176274333.00
    70 rdf:rest N24f427fe0be24bb0a9b179dc258c90f9
    71 Nf4341252280c4ad89492acf3816fe44b rdf:first Nbc73a9801dc548b0b125a5bb520e48f5
    72 rdf:rest rdf:nil
    73 anzsrc-for:09 schema:inDefinedTermSet anzsrc-for:
    74 schema:name Engineering
    75 rdf:type schema:DefinedTerm
    76 anzsrc-for:0905 schema:inDefinedTermSet anzsrc-for:
    77 schema:name Civil Engineering
    78 rdf:type schema:DefinedTerm
    79 sg:person.016176274333.00 schema:affiliation https://www.grid.ac/institutes/grid.412041.2
    80 schema:familyName Couvreur
    81 schema:givenName Jean-Michel
    82 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016176274333.00
    83 rdf:type schema:Person
    84 sg:person.016451700601.29 schema:affiliation https://www.grid.ac/institutes/grid.462751.3
    85 schema:familyName Poitrenaud
    86 schema:givenName Denis
    87 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016451700601.29
    88 rdf:type schema:Person
    89 sg:person.016521621307.07 schema:affiliation https://www.grid.ac/institutes/grid.412041.2
    90 schema:familyName Grivet
    91 schema:givenName Sébastien
    92 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016521621307.07
    93 rdf:type schema:Person
    94 sg:pub.10.1007/3-540-44988-4_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023510064
    95 https://doi.org/10.1007/3-540-44988-4_9
    96 rdf:type schema:CreativeWork
    97 sg:pub.10.1007/3-540-45022-x_40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018312477
    98 https://doi.org/10.1007/3-540-45022-x_40
    99 rdf:type schema:CreativeWork
    100 sg:pub.10.1007/3-540-48320-9_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040370433
    101 https://doi.org/10.1007/3-540-48320-9_2
    102 rdf:type schema:CreativeWork
    103 sg:pub.10.1007/3-540-48683-6_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015412511
    104 https://doi.org/10.1007/3-540-48683-6_18
    105 rdf:type schema:CreativeWork
    106 sg:pub.10.1007/3-540-48745-x_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051463251
    107 https://doi.org/10.1007/3-540-48745-x_22
    108 rdf:type schema:CreativeWork
    109 sg:pub.10.1007/3-540-56496-9_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034555011
    110 https://doi.org/10.1007/3-540-56496-9_14
    111 rdf:type schema:CreativeWork
    112 sg:pub.10.1007/3-540-56610-4_93 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002045929
    113 https://doi.org/10.1007/3-540-56610-4_93
    114 rdf:type schema:CreativeWork
    115 sg:pub.10.1007/3-540-61042-1_40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004444673
    116 https://doi.org/10.1007/3-540-61042-1_40
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/978-0-387-35533-7_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052551567
    119 https://doi.org/10.1007/978-0-387-35533-7_8
    120 rdf:type schema:CreativeWork
    121 sg:pub.10.1007/bf01463946 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023439124
    122 https://doi.org/10.1007/bf01463946
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.1016/0304-3975(81)90112-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035972534
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.1109/12.247838 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061087743
    127 rdf:type schema:CreativeWork
    128 https://www.grid.ac/institutes/grid.412041.2 schema:alternateName University of Bordeaux
    129 schema:name LaBRI, Université de Bordeaux I, Talence, France
    130 rdf:type schema:Organization
    131 https://www.grid.ac/institutes/grid.462751.3 schema:alternateName Laboratoire d'informatique de Paris 6
    132 schema:name LIP6, Université Pierre et Marie Curie, Paris, France
    133 rdf:type schema:Organization
     




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


    ...