Closed-Loop Live Petri Net Supervisors for GMEC View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2000

AUTHORS

F. Basile , P. Chiacchio , L. Recalde , M. Silva

ABSTRACT

Avoiding forbidden states by a supervisory control policy may lead to a non live system, even in the case of generalized mutual exclusion constraints (GMECs) enforced by monitor places. This leads to a problem which is very interesting in practice, but difficult even for the restricted class of marked graphs (MGs). We obtain two sufficient conditions that guarantee liveness of a MG plant with uncontrollable transitions, controlled by a monitor. A set of predicates are derived that enforce, in a maximally permissive way, a mutual exclusion constraint and closed-loop liveness for live control safe MG under some restrictions. These predicates can be implemented by a Petri Net. More... »

PAGES

169-180

References to SciGraph publications

  • 1997-04. A Survey of Petri Net Methods for Controlled Discrete Event Systems in DISCRETE EVENT DYNAMIC SYSTEMS
  • Book

    TITLE

    Discrete Event Systems

    ISBN

    978-1-4613-7025-3
    978-1-4615-4493-7

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-1-4615-4493-7_17

    DOI

    http://dx.doi.org/10.1007/978-1-4615-4493-7_17

    DIMENSIONS

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


    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/1605", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Policy and Administration", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/16", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Studies in Human Society", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "name": [
                "Dip. di Informatica e Sistemistica, Via Claudio 21, 80125, Napoli, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Basile", 
            "givenName": "F.", 
            "id": "sg:person.015205030603.96", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015205030603.96"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "name": [
                "Dip. di Informatica e Sistemistica, Via Claudio 21, 80125, Napoli, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Chiacchio", 
            "givenName": "P.", 
            "id": "sg:person.013342637106.05", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013342637106.05"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "name": [
                "Dep. de Inform\u00e1tica e Ingegner\u00eda de Sistemas, Maria de Luna 3, E-50015, Zaragoza, Spain"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Recalde", 
            "givenName": "L.", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "name": [
                "Dep. de Inform\u00e1tica e Ingegner\u00eda de Sistemas, Maria de Luna 3, E-50015, Zaragoza, Spain"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Silva", 
            "givenName": "M.", 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1023/a:1008271916548", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005574726", 
              "https://doi.org/10.1023/a:1008271916548"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0005-1098(95)00103-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036098626"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/5.21072", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061178998"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/9.135519", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061243013"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/9.280750", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061243828"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1142/s0218126698000092", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062953224"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icsmc.1992.271666", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086261438"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2000", 
        "datePublishedReg": "2000-01-01", 
        "description": "Avoiding forbidden states by a supervisory control policy may lead to a non live system, even in the case of generalized mutual exclusion constraints (GMECs) enforced by monitor places. This leads to a problem which is very interesting in practice, but difficult even for the restricted class of marked graphs (MGs). We obtain two sufficient conditions that guarantee liveness of a MG plant with uncontrollable transitions, controlled by a monitor. A set of predicates are derived that enforce, in a maximally permissive way, a mutual exclusion constraint and closed-loop liveness for live control safe MG under some restrictions. These predicates can be implemented by a Petri Net.", 
        "editor": [
          {
            "familyName": "Boel", 
            "givenName": "R.", 
            "type": "Person"
          }, 
          {
            "familyName": "Stremersch", 
            "givenName": "G.", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-1-4615-4493-7_17", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-1-4613-7025-3", 
            "978-1-4615-4493-7"
          ], 
          "name": "Discrete Event Systems", 
          "type": "Book"
        }, 
        "name": "Closed-Loop Live Petri Net Supervisors for GMEC", 
        "pagination": "169-180", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1048767319"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-1-4615-4493-7_17"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "e8516c9b3c76761cc9083eedadb64ad9afbda04dc7ed58bf0130759370d28198"
            ]
          }
        ], 
        "publisher": {
          "location": "Boston, MA", 
          "name": "Springer US", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-1-4615-4493-7_17", 
          "https://app.dimensions.ai/details/publication/pub.1048767319"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T08:56", 
        "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/0000000369_0000000369/records_68959_00000001.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-1-4615-4493-7_17"
      }
    ]
     

    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-4615-4493-7_17'

    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-4615-4493-7_17'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-4615-4493-7_17'

    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-4615-4493-7_17'


     

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

    116 TRIPLES      23 PREDICATES      34 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-1-4615-4493-7_17 schema:about anzsrc-for:16
    2 anzsrc-for:1605
    3 schema:author N61ee95b3444c486c9b2cc9d390c2a261
    4 schema:citation sg:pub.10.1023/a:1008271916548
    5 https://doi.org/10.1016/0005-1098(95)00103-4
    6 https://doi.org/10.1109/5.21072
    7 https://doi.org/10.1109/9.135519
    8 https://doi.org/10.1109/9.280750
    9 https://doi.org/10.1109/icsmc.1992.271666
    10 https://doi.org/10.1142/s0218126698000092
    11 schema:datePublished 2000
    12 schema:datePublishedReg 2000-01-01
    13 schema:description Avoiding forbidden states by a supervisory control policy may lead to a non live system, even in the case of generalized mutual exclusion constraints (GMECs) enforced by monitor places. This leads to a problem which is very interesting in practice, but difficult even for the restricted class of marked graphs (MGs). We obtain two sufficient conditions that guarantee liveness of a MG plant with uncontrollable transitions, controlled by a monitor. A set of predicates are derived that enforce, in a maximally permissive way, a mutual exclusion constraint and closed-loop liveness for live control safe MG under some restrictions. These predicates can be implemented by a Petri Net.
    14 schema:editor N5a968f17f19047b099d2663f10a56d8d
    15 schema:genre chapter
    16 schema:inLanguage en
    17 schema:isAccessibleForFree false
    18 schema:isPartOf N15447e6844a242c5acfa42a533f53f33
    19 schema:name Closed-Loop Live Petri Net Supervisors for GMEC
    20 schema:pagination 169-180
    21 schema:productId N45a6a7c4438d4b9cbbe1ff53c027b508
    22 Nb612aef1f2ea4305b061dbca044ea1b1
    23 Ne2c7af0bf7ee4e03ae0cad799afaf116
    24 schema:publisher Ne95c6b6b06ec4f648cd7176f36d51e69
    25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048767319
    26 https://doi.org/10.1007/978-1-4615-4493-7_17
    27 schema:sdDatePublished 2019-04-16T08:56
    28 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    29 schema:sdPublisher Nea8a4017656f47ee82428b2bd4fc2d63
    30 schema:url https://link.springer.com/10.1007%2F978-1-4615-4493-7_17
    31 sgo:license sg:explorer/license/
    32 sgo:sdDataset chapters
    33 rdf:type schema:Chapter
    34 N01a80fd0b26a4aa1b182611496e8eb3c schema:familyName Boel
    35 schema:givenName R.
    36 rdf:type schema:Person
    37 N09294d86e59e4c4a94bdbaaa5385bb6c schema:affiliation N82017b81d39442a58261e4421efc8b9c
    38 schema:familyName Recalde
    39 schema:givenName L.
    40 rdf:type schema:Person
    41 N15447e6844a242c5acfa42a533f53f33 schema:isbn 978-1-4613-7025-3
    42 978-1-4615-4493-7
    43 schema:name Discrete Event Systems
    44 rdf:type schema:Book
    45 N236c090c168944b183768214ef497c4b rdf:first Nc40bc2f261cb49e7bbab7e93a22fc416
    46 rdf:rest rdf:nil
    47 N254d8cd1c4284737a768a41d8281fe98 schema:name Dep. de Informática e Ingegnería de Sistemas, Maria de Luna 3, E-50015, Zaragoza, Spain
    48 rdf:type schema:Organization
    49 N45a6a7c4438d4b9cbbe1ff53c027b508 schema:name doi
    50 schema:value 10.1007/978-1-4615-4493-7_17
    51 rdf:type schema:PropertyValue
    52 N55847b4984344c6687026b4f9418007f schema:name Dip. di Informatica e Sistemistica, Via Claudio 21, 80125, Napoli, Italy
    53 rdf:type schema:Organization
    54 N5a968f17f19047b099d2663f10a56d8d rdf:first N01a80fd0b26a4aa1b182611496e8eb3c
    55 rdf:rest N236c090c168944b183768214ef497c4b
    56 N61ee95b3444c486c9b2cc9d390c2a261 rdf:first sg:person.015205030603.96
    57 rdf:rest Na936d25272d8475daf2c765ded30d0ed
    58 N7c705a9006e1439ba156e427f6f6380f rdf:first N09294d86e59e4c4a94bdbaaa5385bb6c
    59 rdf:rest Nc479c930fdff41d4ac0af9d6f75ce3d9
    60 N82017b81d39442a58261e4421efc8b9c schema:name Dep. de Informática e Ingegnería de Sistemas, Maria de Luna 3, E-50015, Zaragoza, Spain
    61 rdf:type schema:Organization
    62 Na936d25272d8475daf2c765ded30d0ed rdf:first sg:person.013342637106.05
    63 rdf:rest N7c705a9006e1439ba156e427f6f6380f
    64 Nb612aef1f2ea4305b061dbca044ea1b1 schema:name dimensions_id
    65 schema:value pub.1048767319
    66 rdf:type schema:PropertyValue
    67 Nc40bc2f261cb49e7bbab7e93a22fc416 schema:familyName Stremersch
    68 schema:givenName G.
    69 rdf:type schema:Person
    70 Nc479c930fdff41d4ac0af9d6f75ce3d9 rdf:first Ne0d92a6a6b1943679c2546e0cb1722f8
    71 rdf:rest rdf:nil
    72 Nded2fbef381c42ba9dc27c5da711349a schema:name Dip. di Informatica e Sistemistica, Via Claudio 21, 80125, Napoli, Italy
    73 rdf:type schema:Organization
    74 Ne0d92a6a6b1943679c2546e0cb1722f8 schema:affiliation N254d8cd1c4284737a768a41d8281fe98
    75 schema:familyName Silva
    76 schema:givenName M.
    77 rdf:type schema:Person
    78 Ne2c7af0bf7ee4e03ae0cad799afaf116 schema:name readcube_id
    79 schema:value e8516c9b3c76761cc9083eedadb64ad9afbda04dc7ed58bf0130759370d28198
    80 rdf:type schema:PropertyValue
    81 Ne95c6b6b06ec4f648cd7176f36d51e69 schema:location Boston, MA
    82 schema:name Springer US
    83 rdf:type schema:Organisation
    84 Nea8a4017656f47ee82428b2bd4fc2d63 schema:name Springer Nature - SN SciGraph project
    85 rdf:type schema:Organization
    86 anzsrc-for:16 schema:inDefinedTermSet anzsrc-for:
    87 schema:name Studies in Human Society
    88 rdf:type schema:DefinedTerm
    89 anzsrc-for:1605 schema:inDefinedTermSet anzsrc-for:
    90 schema:name Policy and Administration
    91 rdf:type schema:DefinedTerm
    92 sg:person.013342637106.05 schema:affiliation Nded2fbef381c42ba9dc27c5da711349a
    93 schema:familyName Chiacchio
    94 schema:givenName P.
    95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013342637106.05
    96 rdf:type schema:Person
    97 sg:person.015205030603.96 schema:affiliation N55847b4984344c6687026b4f9418007f
    98 schema:familyName Basile
    99 schema:givenName F.
    100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015205030603.96
    101 rdf:type schema:Person
    102 sg:pub.10.1023/a:1008271916548 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005574726
    103 https://doi.org/10.1023/a:1008271916548
    104 rdf:type schema:CreativeWork
    105 https://doi.org/10.1016/0005-1098(95)00103-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036098626
    106 rdf:type schema:CreativeWork
    107 https://doi.org/10.1109/5.21072 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061178998
    108 rdf:type schema:CreativeWork
    109 https://doi.org/10.1109/9.135519 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061243013
    110 rdf:type schema:CreativeWork
    111 https://doi.org/10.1109/9.280750 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061243828
    112 rdf:type schema:CreativeWork
    113 https://doi.org/10.1109/icsmc.1992.271666 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086261438
    114 rdf:type schema:CreativeWork
    115 https://doi.org/10.1142/s0218126698000092 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062953224
    116 rdf:type schema:CreativeWork
     




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


    ...