A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri Net View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1982

AUTHORS

J. Martínez , M. Silva

ABSTRACT

After a linear algebraic characterization of the minimal support invariant concept, it is proposed a very efficient algorithm to calculate all the minimal support invariants of Generalised and Capacity Petri Nets. Finally,it is presented a graphycal interpretation of the algorithm execution process. It may be considered as a reduction rule that non preserves liveness. More... »

PAGES

301-310

References to SciGraph publications

  • 1980. Linear algebra in net theory in NET THEORY AND APPLICATIONS
  • 1978. Structural properties of petri nets in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1978
  • Book

    TITLE

    Application and Theory of Petri Nets

    ISBN

    978-3-540-11189-4
    978-3-642-68353-4

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-68353-4_47

    DOI

    http://dx.doi.org/10.1007/978-3-642-68353-4_47

    DIMENSIONS

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


    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/0101", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Pure Mathematics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Mathematical Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Zaragoza", 
              "id": "https://www.grid.ac/institutes/grid.11205.37", 
              "name": [
                "Dpto. de Automatica de la, E.T.S.I.I. de la Universidad de Zaragoza, Spain"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Mart\u00ednez", 
            "givenName": "J.", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Zaragoza", 
              "id": "https://www.grid.ac/institutes/grid.11205.37", 
              "name": [
                "Dpto. de Automatica de la, E.T.S.I.I. de la Universidad de Zaragoza, Spain"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Silva", 
            "givenName": "M.", 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-08921-7_95", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004668383", 
              "https://doi.org/10.1007/3-540-08921-7_95"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-10001-6_24", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009307496", 
              "https://doi.org/10.1007/3-540-10001-6_24"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.7146/dpb.v9i120.6538", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1073611501"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1982", 
        "datePublishedReg": "1982-01-01", 
        "description": "After a linear algebraic characterization of the minimal support invariant concept, it is proposed a very efficient algorithm to calculate all the minimal support invariants of Generalised and Capacity Petri Nets. Finally,it is presented a graphycal interpretation of the algorithm execution process. It may be considered as a reduction rule that non preserves liveness.", 
        "editor": [
          {
            "familyName": "Girault", 
            "givenName": "Claude", 
            "type": "Person"
          }, 
          {
            "familyName": "Reisig", 
            "givenName": "Wolfgang", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-68353-4_47", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-11189-4", 
            "978-3-642-68353-4"
          ], 
          "name": "Application and Theory of Petri Nets", 
          "type": "Book"
        }, 
        "name": "A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri Net", 
        "pagination": "301-310", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-68353-4_47"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "a2fc4ec2b3bf1d43231d97b815507a49d12f9414621695142dc334b1db6eb850"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1034214528"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-68353-4_47", 
          "https://app.dimensions.ai/details/publication/pub.1034214528"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T17:01", 
        "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_8678_00000058.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-68353-4_47"
      }
    ]
     

    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-642-68353-4_47'

    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-642-68353-4_47'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-68353-4_47'

    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-642-68353-4_47'


     

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

    86 TRIPLES      23 PREDICATES      30 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-68353-4_47 schema:about anzsrc-for:01
    2 anzsrc-for:0101
    3 schema:author Ncd792a799e66403dad41866371aced0a
    4 schema:citation sg:pub.10.1007/3-540-08921-7_95
    5 sg:pub.10.1007/3-540-10001-6_24
    6 https://doi.org/10.7146/dpb.v9i120.6538
    7 schema:datePublished 1982
    8 schema:datePublishedReg 1982-01-01
    9 schema:description After a linear algebraic characterization of the minimal support invariant concept, it is proposed a very efficient algorithm to calculate all the minimal support invariants of Generalised and Capacity Petri Nets. Finally,it is presented a graphycal interpretation of the algorithm execution process. It may be considered as a reduction rule that non preserves liveness.
    10 schema:editor N36286ef0683e4c67add1b0ce493690da
    11 schema:genre chapter
    12 schema:inLanguage en
    13 schema:isAccessibleForFree false
    14 schema:isPartOf Nbead53281da8497692a3d3d1185d6764
    15 schema:name A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri Net
    16 schema:pagination 301-310
    17 schema:productId N571497ae673c4b74a097d199d9e181fc
    18 N6435fb125b214050a7acf9e5ae4991d0
    19 Nedb9c8a4c2404107aec43a4d2dbc553b
    20 schema:publisher N72c5421db10d4bda8d204a978f058ea6
    21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034214528
    22 https://doi.org/10.1007/978-3-642-68353-4_47
    23 schema:sdDatePublished 2019-04-15T17:01
    24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    25 schema:sdPublisher Nc718dbd2936a42bba25a3d5fce83c8d6
    26 schema:url http://link.springer.com/10.1007/978-3-642-68353-4_47
    27 sgo:license sg:explorer/license/
    28 sgo:sdDataset chapters
    29 rdf:type schema:Chapter
    30 N2fa90ea6a43c42b7976ef36fcbdc58ba schema:familyName Girault
    31 schema:givenName Claude
    32 rdf:type schema:Person
    33 N36286ef0683e4c67add1b0ce493690da rdf:first N2fa90ea6a43c42b7976ef36fcbdc58ba
    34 rdf:rest Nea72cc41ff4844949622162f4695e299
    35 N53327c8cea6c4b1a93fd27ee616267fd rdf:first Nb6a2eeec641c4fa4829a65ffec12607e
    36 rdf:rest rdf:nil
    37 N56f035ca2e2246398dec08d9a958c329 schema:familyName Reisig
    38 schema:givenName Wolfgang
    39 rdf:type schema:Person
    40 N571497ae673c4b74a097d199d9e181fc schema:name doi
    41 schema:value 10.1007/978-3-642-68353-4_47
    42 rdf:type schema:PropertyValue
    43 N6435fb125b214050a7acf9e5ae4991d0 schema:name dimensions_id
    44 schema:value pub.1034214528
    45 rdf:type schema:PropertyValue
    46 N72c5421db10d4bda8d204a978f058ea6 schema:location Berlin, Heidelberg
    47 schema:name Springer Berlin Heidelberg
    48 rdf:type schema:Organisation
    49 N80a27348c8494502a4f1f36352341e14 schema:affiliation https://www.grid.ac/institutes/grid.11205.37
    50 schema:familyName Martínez
    51 schema:givenName J.
    52 rdf:type schema:Person
    53 Nb6a2eeec641c4fa4829a65ffec12607e schema:affiliation https://www.grid.ac/institutes/grid.11205.37
    54 schema:familyName Silva
    55 schema:givenName M.
    56 rdf:type schema:Person
    57 Nbead53281da8497692a3d3d1185d6764 schema:isbn 978-3-540-11189-4
    58 978-3-642-68353-4
    59 schema:name Application and Theory of Petri Nets
    60 rdf:type schema:Book
    61 Nc718dbd2936a42bba25a3d5fce83c8d6 schema:name Springer Nature - SN SciGraph project
    62 rdf:type schema:Organization
    63 Ncd792a799e66403dad41866371aced0a rdf:first N80a27348c8494502a4f1f36352341e14
    64 rdf:rest N53327c8cea6c4b1a93fd27ee616267fd
    65 Nea72cc41ff4844949622162f4695e299 rdf:first N56f035ca2e2246398dec08d9a958c329
    66 rdf:rest rdf:nil
    67 Nedb9c8a4c2404107aec43a4d2dbc553b schema:name readcube_id
    68 schema:value a2fc4ec2b3bf1d43231d97b815507a49d12f9414621695142dc334b1db6eb850
    69 rdf:type schema:PropertyValue
    70 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
    71 schema:name Mathematical Sciences
    72 rdf:type schema:DefinedTerm
    73 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
    74 schema:name Pure Mathematics
    75 rdf:type schema:DefinedTerm
    76 sg:pub.10.1007/3-540-08921-7_95 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004668383
    77 https://doi.org/10.1007/3-540-08921-7_95
    78 rdf:type schema:CreativeWork
    79 sg:pub.10.1007/3-540-10001-6_24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009307496
    80 https://doi.org/10.1007/3-540-10001-6_24
    81 rdf:type schema:CreativeWork
    82 https://doi.org/10.7146/dpb.v9i120.6538 schema:sameAs https://app.dimensions.ai/details/publication/pub.1073611501
    83 rdf:type schema:CreativeWork
    84 https://www.grid.ac/institutes/grid.11205.37 schema:alternateName University of Zaragoza
    85 schema:name Dpto. de Automatica de la, E.T.S.I.I. de la Universidad de Zaragoza, Spain
    86 rdf:type schema:Organization
     




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


    ...