Petri nets, event structures and domains View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1979

AUTHORS

Mogens Nielsen , Gordon Plotkin , Glynn Winskel

ABSTRACT

N/A

PAGES

266-284

References to SciGraph publications

  • 1971. The lattice of flow diagrams in SYMPOSIUM ON SEMANTICS OF ALGORITHMIC LANGUAGES
  • Book

    TITLE

    Semantics of Concurrent Computation

    ISBN

    3-540-09511-X

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/bfb0022474

    DOI

    http://dx.doi.org/10.1007/bfb0022474

    DIMENSIONS

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


    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": "Aarhus University", 
              "id": "https://www.grid.ac/institutes/grid.7048.b", 
              "name": [
                "Computer Science Department, University of Aarhus, 8000\u00a0Aarhus C, Denmark"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Nielsen", 
            "givenName": "Mogens", 
            "id": "sg:person.013561017773.98", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013561017773.98"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Edinburgh", 
              "id": "https://www.grid.ac/institutes/grid.4305.2", 
              "name": [
                "Dept. of Artificial Intelligence, University of Edinburgh, Hope Park Square, Meadow Lane, EH8 9NW\u00a0Edinburgh, Scotland"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Plotkin", 
            "givenName": "Gordon", 
            "id": "sg:person.015310704111.19", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015310704111.19"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Edinburgh", 
              "id": "https://www.grid.ac/institutes/grid.4305.2", 
              "name": [
                "Dept. of Artificial Intelligence, University of Edinburgh, Hope Park Square, Meadow Lane, EH8 9NW\u00a0Edinburgh, Scotland"
              ], 
              "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/bfb0059703", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026682763", 
              "https://doi.org/10.1007/bfb0059703"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/0205037", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062841323"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/rd.202.0138", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063180509"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.7146/dpb.v6i78.7691", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1073611461"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1979", 
        "datePublishedReg": "1979-01-01", 
        "editor": [
          {
            "familyName": "Kahn", 
            "givenName": "Gilles", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/bfb0022474", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "3-540-09511-X"
          ], 
          "name": "Semantics of Concurrent Computation", 
          "type": "Book"
        }, 
        "name": "Petri nets, event structures and domains", 
        "pagination": "266-284", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/bfb0022474"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "8fd48ba7bfa2ce58558c51af2455518af9ee6c7357e000acab7d7f9c6cd21450"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1030192045"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin/Heidelberg", 
          "name": "Springer-Verlag", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/bfb0022474", 
          "https://app.dimensions.ai/details/publication/pub.1030192045"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T11:35", 
        "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_8660_00000262.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/BFb0022474"
      }
    ]
     

    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/bfb0022474'

    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/bfb0022474'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0022474'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0022474'


     

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

    85 TRIPLES      21 PREDICATES      28 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/bfb0022474 schema:author N5d67fca9626b437791af9874fdd7c21d
    2 schema:citation sg:pub.10.1007/bfb0059703
    3 https://doi.org/10.1137/0205037
    4 https://doi.org/10.1147/rd.202.0138
    5 https://doi.org/10.7146/dpb.v6i78.7691
    6 schema:datePublished 1979
    7 schema:datePublishedReg 1979-01-01
    8 schema:editor N9c2b527abdc4462fad10727ca8fff835
    9 schema:genre chapter
    10 schema:inLanguage en
    11 schema:isAccessibleForFree false
    12 schema:isPartOf N343a0a9aea864785b6e6ce7f51fa0e2f
    13 schema:name Petri nets, event structures and domains
    14 schema:pagination 266-284
    15 schema:productId N5461a9a979e141cdac543da122c63766
    16 Na7d8f1179d614dc8bc55ac31a8ab91e1
    17 Nd295a927124d4c0d9e1a175aa4043e74
    18 schema:publisher N287330aa7330453aa55b5ba4e2d7f9aa
    19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030192045
    20 https://doi.org/10.1007/bfb0022474
    21 schema:sdDatePublished 2019-04-15T11:35
    22 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    23 schema:sdPublisher N6640d334c98e48a8805c9792081c93ca
    24 schema:url http://link.springer.com/10.1007/BFb0022474
    25 sgo:license sg:explorer/license/
    26 sgo:sdDataset chapters
    27 rdf:type schema:Chapter
    28 N287330aa7330453aa55b5ba4e2d7f9aa schema:location Berlin/Heidelberg
    29 schema:name Springer-Verlag
    30 rdf:type schema:Organisation
    31 N343a0a9aea864785b6e6ce7f51fa0e2f schema:isbn 3-540-09511-X
    32 schema:name Semantics of Concurrent Computation
    33 rdf:type schema:Book
    34 N5461a9a979e141cdac543da122c63766 schema:name readcube_id
    35 schema:value 8fd48ba7bfa2ce58558c51af2455518af9ee6c7357e000acab7d7f9c6cd21450
    36 rdf:type schema:PropertyValue
    37 N5d67fca9626b437791af9874fdd7c21d rdf:first sg:person.013561017773.98
    38 rdf:rest N6b5d9b0d2fee4150a2be11627cb663be
    39 N6640d334c98e48a8805c9792081c93ca schema:name Springer Nature - SN SciGraph project
    40 rdf:type schema:Organization
    41 N6b5d9b0d2fee4150a2be11627cb663be rdf:first sg:person.015310704111.19
    42 rdf:rest N891f4e8679444f5f9fbc841ae7a6258a
    43 N891f4e8679444f5f9fbc841ae7a6258a rdf:first sg:person.012533205153.60
    44 rdf:rest rdf:nil
    45 N9c2b527abdc4462fad10727ca8fff835 rdf:first Necf4cb9bf4764680b656b715f3a0e1f5
    46 rdf:rest rdf:nil
    47 Na7d8f1179d614dc8bc55ac31a8ab91e1 schema:name doi
    48 schema:value 10.1007/bfb0022474
    49 rdf:type schema:PropertyValue
    50 Nd295a927124d4c0d9e1a175aa4043e74 schema:name dimensions_id
    51 schema:value pub.1030192045
    52 rdf:type schema:PropertyValue
    53 Necf4cb9bf4764680b656b715f3a0e1f5 schema:familyName Kahn
    54 schema:givenName Gilles
    55 rdf:type schema:Person
    56 sg:person.012533205153.60 schema:affiliation https://www.grid.ac/institutes/grid.4305.2
    57 schema:familyName Winskel
    58 schema:givenName Glynn
    59 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012533205153.60
    60 rdf:type schema:Person
    61 sg:person.013561017773.98 schema:affiliation https://www.grid.ac/institutes/grid.7048.b
    62 schema:familyName Nielsen
    63 schema:givenName Mogens
    64 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013561017773.98
    65 rdf:type schema:Person
    66 sg:person.015310704111.19 schema:affiliation https://www.grid.ac/institutes/grid.4305.2
    67 schema:familyName Plotkin
    68 schema:givenName Gordon
    69 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015310704111.19
    70 rdf:type schema:Person
    71 sg:pub.10.1007/bfb0059703 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026682763
    72 https://doi.org/10.1007/bfb0059703
    73 rdf:type schema:CreativeWork
    74 https://doi.org/10.1137/0205037 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841323
    75 rdf:type schema:CreativeWork
    76 https://doi.org/10.1147/rd.202.0138 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063180509
    77 rdf:type schema:CreativeWork
    78 https://doi.org/10.7146/dpb.v6i78.7691 schema:sameAs https://app.dimensions.ai/details/publication/pub.1073611461
    79 rdf:type schema:CreativeWork
    80 https://www.grid.ac/institutes/grid.4305.2 schema:alternateName University of Edinburgh
    81 schema:name Dept. of Artificial Intelligence, University of Edinburgh, Hope Park Square, Meadow Lane, EH8 9NW Edinburgh, Scotland
    82 rdf:type schema:Organization
    83 https://www.grid.ac/institutes/grid.7048.b schema:alternateName Aarhus University
    84 schema:name Computer Science Department, University of Aarhus, 8000 Aarhus C, Denmark
    85 rdf:type schema:Organization
     




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


    ...