Formalizing the Behaviour of Parallel Object-Based Systems by Petri Nets View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1990

AUTHORS

Marta Zofia Kwiatkowska , Michael William Shields , Richard Monro Thomas , Joost Engelfriet , George Leih , Grzegorz Rozenberg

ABSTRACT

Parallel object-based systems are modelled by POTs, where a POT is a Petri net with an additional structure imposed on its places (POT abbreviates Parallel Object-based Transition system). In a POT, parallelism, objects, references, communication, and creation are handled explicitly. Some basic properties of object-based systems are formalized as properties of POTs, viz. properties concerning reference passing and handshaking. Non-interleaving observations of (runs of) a POT are investigated, in particular when the POT satisfies the above properties. More... »

PAGES

204-221

References to SciGraph publications

  • 1987. CCS — and its relationship to net theory in PETRI NETS: APPLICATIONS AND RELATIONSHIPS TO OTHER MODELS OF CONCURRENCY
  • Book

    TITLE

    Semantics for Concurrency

    ISBN

    978-3-540-19625-9
    978-1-4471-3860-0

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-1-4471-3860-0_13

    DOI

    http://dx.doi.org/10.1007/978-1-4471-3860-0_13

    DIMENSIONS

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


    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/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "familyName": "Kwiatkowska", 
            "givenName": "Marta Zofia", 
            "id": "sg:person.011375012273.39", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39"
            ], 
            "type": "Person"
          }, 
          {
            "familyName": "Shields", 
            "givenName": "Michael William", 
            "id": "sg:person.07465425675.46", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07465425675.46"
            ], 
            "type": "Person"
          }, 
          {
            "familyName": "Thomas", 
            "givenName": "Richard Monro", 
            "id": "sg:person.013217343010.08", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013217343010.08"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Leiden University", 
              "id": "https://www.grid.ac/institutes/grid.5132.5", 
              "name": [
                "Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA\u00a0Leiden, Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Engelfriet", 
            "givenName": "Joost", 
            "id": "sg:person.014574236321.39", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Leiden University", 
              "id": "https://www.grid.ac/institutes/grid.5132.5", 
              "name": [
                "Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA\u00a0Leiden, Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Leih", 
            "givenName": "George", 
            "id": "sg:person.010667135125.65", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010667135125.65"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Leiden University", 
              "id": "https://www.grid.ac/institutes/grid.5132.5", 
              "name": [
                "Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA\u00a0Leiden, Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Rozenberg", 
            "givenName": "Grzegorz", 
            "id": "sg:person.015247703545.18", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015247703545.18"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-17906-2_32", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007194712", 
              "https://doi.org/10.1007/3-540-17906-2_32"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1990", 
        "datePublishedReg": "1990-01-01", 
        "description": "Parallel object-based systems are modelled by POTs, where a POT is a Petri net with an additional structure imposed on its places (POT abbreviates Parallel Object-based Transition system). In a POT, parallelism, objects, references, communication, and creation are handled explicitly. Some basic properties of object-based systems are formalized as properties of POTs, viz. properties concerning reference passing and handshaking. Non-interleaving observations of (runs of) a POT are investigated, in particular when the POT satisfies the above properties.", 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-1-4471-3860-0_13", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-19625-9", 
            "978-1-4471-3860-0"
          ], 
          "name": "Semantics for Concurrency", 
          "type": "Book"
        }, 
        "name": "Formalizing the Behaviour of Parallel Object-Based Systems by Petri Nets", 
        "pagination": "204-221", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-1-4471-3860-0_13"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "d2316e2ccb04510bbdfa2dac0a5acf7434dc017d227639b78fb23eb50345563b"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1044127279"
            ]
          }
        ], 
        "publisher": {
          "location": "London", 
          "name": "Springer London", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-1-4471-3860-0_13", 
          "https://app.dimensions.ai/details/publication/pub.1044127279"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T22:57", 
        "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_8695_00000270.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-1-4471-3860-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/978-1-4471-3860-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/978-1-4471-3860-0_13'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-3860-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/978-1-4471-3860-0_13'


     

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

    95 TRIPLES      22 PREDICATES      27 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-1-4471-3860-0_13 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Ndf4790ab7b4b4aa5994dc217414f3eac
    4 schema:citation sg:pub.10.1007/3-540-17906-2_32
    5 schema:datePublished 1990
    6 schema:datePublishedReg 1990-01-01
    7 schema:description Parallel object-based systems are modelled by POTs, where a POT is a Petri net with an additional structure imposed on its places (POT abbreviates Parallel Object-based Transition system). In a POT, parallelism, objects, references, communication, and creation are handled explicitly. Some basic properties of object-based systems are formalized as properties of POTs, viz. properties concerning reference passing and handshaking. Non-interleaving observations of (runs of) a POT are investigated, in particular when the POT satisfies the above properties.
    8 schema:genre chapter
    9 schema:inLanguage en
    10 schema:isAccessibleForFree false
    11 schema:isPartOf N48e187007ee543f6aee3433b1d7e3c23
    12 schema:name Formalizing the Behaviour of Parallel Object-Based Systems by Petri Nets
    13 schema:pagination 204-221
    14 schema:productId N1b3a84c89db1473e827d23785210a76c
    15 Nc54cb8322a8e4d6b87562f7d7e0d18d2
    16 Nf6889d0c3e724caaa9f13a9ee1bab217
    17 schema:publisher N5b3ebd0740744539ab3014173d05f328
    18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044127279
    19 https://doi.org/10.1007/978-1-4471-3860-0_13
    20 schema:sdDatePublished 2019-04-15T22:57
    21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    22 schema:sdPublisher Nd37286b5b29542009a06272d00d0a143
    23 schema:url http://link.springer.com/10.1007/978-1-4471-3860-0_13
    24 sgo:license sg:explorer/license/
    25 sgo:sdDataset chapters
    26 rdf:type schema:Chapter
    27 N0d532fd7369944ae95675d8660c435a4 rdf:first sg:person.014574236321.39
    28 rdf:rest Nb0b7e965b08e44dba4fb41ae460a5104
    29 N1b3a84c89db1473e827d23785210a76c schema:name dimensions_id
    30 schema:value pub.1044127279
    31 rdf:type schema:PropertyValue
    32 N48e187007ee543f6aee3433b1d7e3c23 schema:isbn 978-1-4471-3860-0
    33 978-3-540-19625-9
    34 schema:name Semantics for Concurrency
    35 rdf:type schema:Book
    36 N51943d68302e4522bc228bda79f3961f rdf:first sg:person.013217343010.08
    37 rdf:rest N0d532fd7369944ae95675d8660c435a4
    38 N5b3ebd0740744539ab3014173d05f328 schema:location London
    39 schema:name Springer London
    40 rdf:type schema:Organisation
    41 Nb0b7e965b08e44dba4fb41ae460a5104 rdf:first sg:person.010667135125.65
    42 rdf:rest Ned895941f1504c02844a9fbd7f69c81f
    43 Nc54cb8322a8e4d6b87562f7d7e0d18d2 schema:name doi
    44 schema:value 10.1007/978-1-4471-3860-0_13
    45 rdf:type schema:PropertyValue
    46 Nd37286b5b29542009a06272d00d0a143 schema:name Springer Nature - SN SciGraph project
    47 rdf:type schema:Organization
    48 Ndf4790ab7b4b4aa5994dc217414f3eac rdf:first sg:person.011375012273.39
    49 rdf:rest Nf54e85553702403a93d04715a81fb45a
    50 Ned895941f1504c02844a9fbd7f69c81f rdf:first sg:person.015247703545.18
    51 rdf:rest rdf:nil
    52 Nf54e85553702403a93d04715a81fb45a rdf:first sg:person.07465425675.46
    53 rdf:rest N51943d68302e4522bc228bda79f3961f
    54 Nf6889d0c3e724caaa9f13a9ee1bab217 schema:name readcube_id
    55 schema:value d2316e2ccb04510bbdfa2dac0a5acf7434dc017d227639b78fb23eb50345563b
    56 rdf:type schema:PropertyValue
    57 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    58 schema:name Information and Computing Sciences
    59 rdf:type schema:DefinedTerm
    60 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    61 schema:name Computer Software
    62 rdf:type schema:DefinedTerm
    63 sg:person.010667135125.65 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    64 schema:familyName Leih
    65 schema:givenName George
    66 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010667135125.65
    67 rdf:type schema:Person
    68 sg:person.011375012273.39 schema:familyName Kwiatkowska
    69 schema:givenName Marta Zofia
    70 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
    71 rdf:type schema:Person
    72 sg:person.013217343010.08 schema:familyName Thomas
    73 schema:givenName Richard Monro
    74 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013217343010.08
    75 rdf:type schema:Person
    76 sg:person.014574236321.39 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    77 schema:familyName Engelfriet
    78 schema:givenName Joost
    79 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39
    80 rdf:type schema:Person
    81 sg:person.015247703545.18 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
    82 schema:familyName Rozenberg
    83 schema:givenName Grzegorz
    84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015247703545.18
    85 rdf:type schema:Person
    86 sg:person.07465425675.46 schema:familyName Shields
    87 schema:givenName Michael William
    88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07465425675.46
    89 rdf:type schema:Person
    90 sg:pub.10.1007/3-540-17906-2_32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007194712
    91 https://doi.org/10.1007/3-540-17906-2_32
    92 rdf:type schema:CreativeWork
    93 https://www.grid.ac/institutes/grid.5132.5 schema:alternateName Leiden University
    94 schema:name Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA Leiden, Netherlands
    95 rdf:type schema:Organization
     




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


    ...