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 N9289cb568c8f4eeb9077812fc39fcd38
    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 N8d766346e89f4c6a85c2d045b538bf51
    10 schema:genre chapter
    11 schema:inLanguage en
    12 schema:isAccessibleForFree false
    13 schema:isPartOf Nd5fdc0311292406ba42f05a37a80b532
    14 schema:name A new definition of morphism on Petri nets
    15 schema:pagination 140-150
    16 schema:productId N3f704e03e045441e984da0f3b2cb3c22
    17 Nd321b37849d1488baf0c62d8160240f9
    18 Nf555811140c54129b3137d0f0abbca80
    19 schema:publisher Nfb8f35d4ec2b4de8be04ae7a7ea7b9d4
    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 Na4b5ab5ac3d444e684fadeea1ddf84aa
    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 N3f704e03e045441e984da0f3b2cb3c22 schema:name doi
    30 schema:value 10.1007/3-540-12920-0_13
    31 rdf:type schema:PropertyValue
    32 N480bc24048a04aea99b9cfa51808bf0f rdf:first N82e79c75d4574c848ac6f711c72fdb83
    33 rdf:rest rdf:nil
    34 N56b04214d4ec46dfa967d138268a1769 schema:familyName Fontet
    35 schema:givenName M.
    36 rdf:type schema:Person
    37 N82e79c75d4574c848ac6f711c72fdb83 schema:familyName Mehlhorn
    38 schema:givenName K.
    39 rdf:type schema:Person
    40 N8d766346e89f4c6a85c2d045b538bf51 rdf:first N56b04214d4ec46dfa967d138268a1769
    41 rdf:rest N480bc24048a04aea99b9cfa51808bf0f
    42 N9289cb568c8f4eeb9077812fc39fcd38 rdf:first sg:person.012533205153.60
    43 rdf:rest rdf:nil
    44 Na4b5ab5ac3d444e684fadeea1ddf84aa schema:name Springer Nature - SN SciGraph project
    45 rdf:type schema:Organization
    46 Nd321b37849d1488baf0c62d8160240f9 schema:name dimensions_id
    47 schema:value pub.1023917668
    48 rdf:type schema:PropertyValue
    49 Nd5fdc0311292406ba42f05a37a80b532 schema:isbn 978-3-540-12920-2
    50 978-3-540-38805-0
    51 schema:name STACS 84
    52 rdf:type schema:Book
    53 Nf555811140c54129b3137d0f0abbca80 schema:name readcube_id
    54 schema:value 71f2177035e2fa086243fc4376632f5a9c8e1874e7e991cc0ce9f44554f3ba1e
    55 rdf:type schema:PropertyValue
    56 Nfb8f35d4ec2b4de8be04ae7a7ea7b9d4 schema:location Berlin, Heidelberg
    57 schema:name Springer Berlin Heidelberg
    58 rdf:type schema:Organisation
    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)


    ...