A new definition of morphism on Petri nets View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1984

AUTHORS

Glynn Winskel

ABSTRACT

N/A

PAGES

140-150

References to SciGraph publications

  • 1979. Petri nets, event structures and domains in SEMANTICS OF CONCURRENT COMPUTATION
  • 1983. Processes of place/transition-nets in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2005-10-22. Event structure semantics for CCS and related languages in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1983. Synchronisation trees in AUTOMATA, LANGUAGES AND PROGRAMMING
  • Book

    TITLE

    STACS 84

    ISBN

    978-3-540-12920-2
    978-3-540-38805-0

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/3-540-12920-0_13

    DOI

    http://dx.doi.org/10.1007/3-540-12920-0_13

    DIMENSIONS

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


    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", 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Cambridge", 
              "id": "https://www.grid.ac/institutes/grid.5335.0", 
              "name": [
                "University of Cambridge Computer Laboratory, Corn Exchange Street, CB2 3QG\u00a0Cambridge"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Winskel", 
            "givenName": "Glynn", 
            "id": "sg:person.012533205153.60", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012533205153.60"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/bfb0036949", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004203026", 
              "https://doi.org/10.1007/bfb0036949"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0012800", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006383355", 
              "https://doi.org/10.1007/bfb0012800"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0012800", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006383355", 
              "https://doi.org/10.1007/bfb0012800"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0036914", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021672689", 
              "https://doi.org/10.1007/bfb0036914"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0022474", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030192045", 
              "https://doi.org/10.1007/bfb0022474"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(81)90112-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035972534"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1984", 
        "datePublishedReg": "1984-01-01", 
        "editor": [
          {
            "familyName": "Fontet", 
            "givenName": "M.", 
            "type": "Person"
          }, 
          {
            "familyName": "Mehlhorn", 
            "givenName": "K.", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/3-540-12920-0_13", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-12920-2", 
            "978-3-540-38805-0"
          ], 
          "name": "STACS 84", 
          "type": "Book"
        }, 
        "name": "A new definition of morphism on Petri nets", 
        "pagination": "140-150", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-12920-0_13"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "71f2177035e2fa086243fc4376632f5a9c8e1874e7e991cc0ce9f44554f3ba1e"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1023917668"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-12920-0_13", 
          "https://app.dimensions.ai/details/publication/pub.1023917668"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T17:00", 
        "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_00000041.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/3-540-12920-0_13"
      }
    ]
     

    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-12920-0_13'

    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-12920-0_13'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-12920-0_13'

    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-12920-0_13'


     

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

    80 TRIPLES      21 PREDICATES      29 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-12920-0_13 schema:author Na1881b256596484fbb6068e406f5033b
    2 schema:citation sg:pub.10.1007/bfb0012800
    3 sg:pub.10.1007/bfb0022474
    4 sg:pub.10.1007/bfb0036914
    5 sg:pub.10.1007/bfb0036949
    6 https://doi.org/10.1016/0304-3975(81)90112-2
    7 schema:datePublished 1984
    8 schema:datePublishedReg 1984-01-01
    9 schema:editor Nc3d97b114c0e4ecd8458816d07cf6125
    10 schema:genre chapter
    11 schema:inLanguage en
    12 schema:isAccessibleForFree false
    13 schema:isPartOf Nff80f8fe498c47e3b9d88ebb8d434569
    14 schema:name A new definition of morphism on Petri nets
    15 schema:pagination 140-150
    16 schema:productId N4634d277343e476292043e0d4255e733
    17 N61b9c6265f7945df9c9400ba7fe48003
    18 Nbb69d139bcce4a248b5ff7c65e8945ad
    19 schema:publisher Nfd9d46af5fa64ac9a7f7808b7a5ff3cc
    20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023917668
    21 https://doi.org/10.1007/3-540-12920-0_13
    22 schema:sdDatePublished 2019-04-15T17:00
    23 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    24 schema:sdPublisher N462b791c14d5442297bde26d277a87fe
    25 schema:url http://link.springer.com/10.1007/3-540-12920-0_13
    26 sgo:license sg:explorer/license/
    27 sgo:sdDataset chapters
    28 rdf:type schema:Chapter
    29 N2cba83284e8046949a02051dfcfcc6ab schema:familyName Mehlhorn
    30 schema:givenName K.
    31 rdf:type schema:Person
    32 N462b791c14d5442297bde26d277a87fe schema:name Springer Nature - SN SciGraph project
    33 rdf:type schema:Organization
    34 N4634d277343e476292043e0d4255e733 schema:name dimensions_id
    35 schema:value pub.1023917668
    36 rdf:type schema:PropertyValue
    37 N61b9c6265f7945df9c9400ba7fe48003 schema:name readcube_id
    38 schema:value 71f2177035e2fa086243fc4376632f5a9c8e1874e7e991cc0ce9f44554f3ba1e
    39 rdf:type schema:PropertyValue
    40 N635e527b42ce460b83e20fdf07a7d495 schema:familyName Fontet
    41 schema:givenName M.
    42 rdf:type schema:Person
    43 N65194859df6e48e9ab9ed250af4eeb73 rdf:first N2cba83284e8046949a02051dfcfcc6ab
    44 rdf:rest rdf:nil
    45 Na1881b256596484fbb6068e406f5033b rdf:first sg:person.012533205153.60
    46 rdf:rest rdf:nil
    47 Nbb69d139bcce4a248b5ff7c65e8945ad schema:name doi
    48 schema:value 10.1007/3-540-12920-0_13
    49 rdf:type schema:PropertyValue
    50 Nc3d97b114c0e4ecd8458816d07cf6125 rdf:first N635e527b42ce460b83e20fdf07a7d495
    51 rdf:rest N65194859df6e48e9ab9ed250af4eeb73
    52 Nfd9d46af5fa64ac9a7f7808b7a5ff3cc schema:location Berlin, Heidelberg
    53 schema:name Springer Berlin Heidelberg
    54 rdf:type schema:Organisation
    55 Nff80f8fe498c47e3b9d88ebb8d434569 schema:isbn 978-3-540-12920-2
    56 978-3-540-38805-0
    57 schema:name STACS 84
    58 rdf:type schema:Book
    59 sg:person.012533205153.60 schema:affiliation https://www.grid.ac/institutes/grid.5335.0
    60 schema:familyName Winskel
    61 schema:givenName Glynn
    62 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012533205153.60
    63 rdf:type schema:Person
    64 sg:pub.10.1007/bfb0012800 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006383355
    65 https://doi.org/10.1007/bfb0012800
    66 rdf:type schema:CreativeWork
    67 sg:pub.10.1007/bfb0022474 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030192045
    68 https://doi.org/10.1007/bfb0022474
    69 rdf:type schema:CreativeWork
    70 sg:pub.10.1007/bfb0036914 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021672689
    71 https://doi.org/10.1007/bfb0036914
    72 rdf:type schema:CreativeWork
    73 sg:pub.10.1007/bfb0036949 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004203026
    74 https://doi.org/10.1007/bfb0036949
    75 rdf:type schema:CreativeWork
    76 https://doi.org/10.1016/0304-3975(81)90112-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035972534
    77 rdf:type schema:CreativeWork
    78 https://www.grid.ac/institutes/grid.5335.0 schema:alternateName University of Cambridge
    79 schema:name University of Cambridge Computer Laboratory, Corn Exchange Street, CB2 3QG Cambridge
    80 rdf:type schema:Organization
     




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


    ...