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

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 N382b2e1617764949b608f6a53a01166d
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 Na476160c36ef44ce91f2d4b1cea63a88
12 schema:name Formalizing the Behaviour of Parallel Object-Based Systems by Petri Nets
13 schema:pagination 204-221
14 schema:productId N84ce18e8166a4fcca7f02921cc4d7ac7
15 N98bc4305e1e84974a9dbadb8f25dd315
16 Nbdb20432e15f426ea66d04d4ce5c8765
17 schema:publisher N520b3a582776463fb2e99cd4c1ee9573
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 N617271d1100749d099176dbcda667d5c
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 N276e0630910c429bb672206a484f58ed rdf:first sg:person.010667135125.65
28 rdf:rest N42c2efe88bb64490a549f8b58598725f
29 N382b2e1617764949b608f6a53a01166d rdf:first sg:person.011375012273.39
30 rdf:rest N8e5331743ed34e63adef530c57b631b8
31 N42c2efe88bb64490a549f8b58598725f rdf:first sg:person.015247703545.18
32 rdf:rest rdf:nil
33 N520b3a582776463fb2e99cd4c1ee9573 schema:location London
34 schema:name Springer London
35 rdf:type schema:Organisation
36 N617271d1100749d099176dbcda667d5c schema:name Springer Nature - SN SciGraph project
37 rdf:type schema:Organization
38 N84ce18e8166a4fcca7f02921cc4d7ac7 schema:name dimensions_id
39 schema:value pub.1044127279
40 rdf:type schema:PropertyValue
41 N8e5331743ed34e63adef530c57b631b8 rdf:first sg:person.07465425675.46
42 rdf:rest N967f0273275346ba9cd43330b6570892
43 N967f0273275346ba9cd43330b6570892 rdf:first sg:person.013217343010.08
44 rdf:rest Nb6277e191b3844178ce2091ae0912294
45 N98bc4305e1e84974a9dbadb8f25dd315 schema:name doi
46 schema:value 10.1007/978-1-4471-3860-0_13
47 rdf:type schema:PropertyValue
48 Na476160c36ef44ce91f2d4b1cea63a88 schema:isbn 978-1-4471-3860-0
49 978-3-540-19625-9
50 schema:name Semantics for Concurrency
51 rdf:type schema:Book
52 Nb6277e191b3844178ce2091ae0912294 rdf:first sg:person.014574236321.39
53 rdf:rest N276e0630910c429bb672206a484f58ed
54 Nbdb20432e15f426ea66d04d4ce5c8765 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)


...