Net-based description of parallel object-based systems, or POTs and POPs View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1991

AUTHORS

Joost Engelfriet , George Leih , Grzegorz Rozenberg

ABSTRACT

Two formalisms, called POT and POP, are introduced for modelling parallel object-based systems. The first formalism is on the level of transition systems and the second on the program level. Both formalisms are based on Petri nets. A POT is obtained from a Petri net by the addition of components that handle specific object-based features such as object identity, object creation (and destruction), private memory of objects, and references to objects. Parallelism and synchronization are handled by the Petri net. A POP is a program that may be viewed as an abbreviation of a (usually infinite) POT, comparable to a high-level Petri net. More... »

PAGES

229-273

Book

TITLE

Foundations of Object-Oriented Languages

ISBN

978-3-540-53931-5
978-3-540-46450-1

Author Affiliations

Identifiers

URI

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

DOI

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

DIMENSIONS

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


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": [
      {
        "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, The 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, The 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, The 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"
      }
    ], 
    "datePublished": "1991", 
    "datePublishedReg": "1991-01-01", 
    "description": "Two formalisms, called POT and POP, are introduced for modelling parallel object-based systems. The first formalism is on the level of transition systems and the second on the program level. Both formalisms are based on Petri nets. A POT is obtained from a Petri net by the addition of components that handle specific object-based features such as object identity, object creation (and destruction), private memory of objects, and references to objects. Parallelism and synchronization are handled by the Petri net. A POP is a program that may be viewed as an abbreviation of a (usually infinite) POT, comparable to a high-level Petri net.", 
    "editor": [
      {
        "familyName": "de Bakker", 
        "givenName": "J. W.", 
        "type": "Person"
      }, 
      {
        "familyName": "de Roever", 
        "givenName": "W. P.", 
        "type": "Person"
      }, 
      {
        "familyName": "Rozenberg", 
        "givenName": "G.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/bfb0019446", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-53931-5", 
        "978-3-540-46450-1"
      ], 
      "name": "Foundations of Object-Oriented Languages", 
      "type": "Book"
    }, 
    "name": "Net-based description of parallel object-based systems, or POTs and POPs", 
    "pagination": "229-273", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bfb0019446"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "bfe0737c37c3a842f1a0790a7a0087ebde6f110b1cfc6fc0e9790aaad15948fd"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1040280090"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/bfb0019446", 
      "https://app.dimensions.ai/details/publication/pub.1040280090"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T12:19", 
    "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_8663_00000069.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/BFb0019446"
  }
]
 

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

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

Turtle is a human-readable linked data format.

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

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

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


 

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

89 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bfb0019446 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N547806f26086446788f4afe5c981c0ce
4 schema:datePublished 1991
5 schema:datePublishedReg 1991-01-01
6 schema:description Two formalisms, called POT and POP, are introduced for modelling parallel object-based systems. The first formalism is on the level of transition systems and the second on the program level. Both formalisms are based on Petri nets. A POT is obtained from a Petri net by the addition of components that handle specific object-based features such as object identity, object creation (and destruction), private memory of objects, and references to objects. Parallelism and synchronization are handled by the Petri net. A POP is a program that may be viewed as an abbreviation of a (usually infinite) POT, comparable to a high-level Petri net.
7 schema:editor Nfae4af6f0b834e3d9316ca5545bae434
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N186745f2ffbf4b70b52c6d336c6fe709
12 schema:name Net-based description of parallel object-based systems, or POTs and POPs
13 schema:pagination 229-273
14 schema:productId N4ab138ef731f4595816176d69a0b8e96
15 N4fa20aafec574e64ae57d94b60007b1d
16 Ne5f968e6b3e6400e8ad1806b7f087273
17 schema:publisher N4c638542d38243ee83b24a3b4cce086d
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040280090
19 https://doi.org/10.1007/bfb0019446
20 schema:sdDatePublished 2019-04-15T12:19
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher N7152634b491c458598d5d2f0bc9aab20
23 schema:url http://link.springer.com/10.1007/BFb0019446
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N111c7c68e7b14748913e2735a537dd62 schema:familyName Rozenberg
28 schema:givenName G.
29 rdf:type schema:Person
30 N186745f2ffbf4b70b52c6d336c6fe709 schema:isbn 978-3-540-46450-1
31 978-3-540-53931-5
32 schema:name Foundations of Object-Oriented Languages
33 rdf:type schema:Book
34 N1bc08aa7dfbe4345bb5deada73508c38 rdf:first sg:person.015247703545.18
35 rdf:rest rdf:nil
36 N4ab138ef731f4595816176d69a0b8e96 schema:name dimensions_id
37 schema:value pub.1040280090
38 rdf:type schema:PropertyValue
39 N4c638542d38243ee83b24a3b4cce086d schema:location Berlin, Heidelberg
40 schema:name Springer Berlin Heidelberg
41 rdf:type schema:Organisation
42 N4fa20aafec574e64ae57d94b60007b1d schema:name readcube_id
43 schema:value bfe0737c37c3a842f1a0790a7a0087ebde6f110b1cfc6fc0e9790aaad15948fd
44 rdf:type schema:PropertyValue
45 N547806f26086446788f4afe5c981c0ce rdf:first sg:person.014574236321.39
46 rdf:rest N83e69435402a42b4a85784b10d4bb118
47 N5cf3fe1726c2462fb78ab404aa138872 schema:familyName de Bakker
48 schema:givenName J. W.
49 rdf:type schema:Person
50 N7152634b491c458598d5d2f0bc9aab20 schema:name Springer Nature - SN SciGraph project
51 rdf:type schema:Organization
52 N83e69435402a42b4a85784b10d4bb118 rdf:first sg:person.010667135125.65
53 rdf:rest N1bc08aa7dfbe4345bb5deada73508c38
54 Nabb90056c4974a34818ec653df1f11ee schema:familyName de Roever
55 schema:givenName W. P.
56 rdf:type schema:Person
57 Nc76be6c7013c4950ac34d7c427db4618 rdf:first Nabb90056c4974a34818ec653df1f11ee
58 rdf:rest Ne2e76dce51104870b5bff2a0f1c9173f
59 Ne2e76dce51104870b5bff2a0f1c9173f rdf:first N111c7c68e7b14748913e2735a537dd62
60 rdf:rest rdf:nil
61 Ne5f968e6b3e6400e8ad1806b7f087273 schema:name doi
62 schema:value 10.1007/bfb0019446
63 rdf:type schema:PropertyValue
64 Nfae4af6f0b834e3d9316ca5545bae434 rdf:first N5cf3fe1726c2462fb78ab404aa138872
65 rdf:rest Nc76be6c7013c4950ac34d7c427db4618
66 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
67 schema:name Information and Computing Sciences
68 rdf:type schema:DefinedTerm
69 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
70 schema:name Computer Software
71 rdf:type schema:DefinedTerm
72 sg:person.010667135125.65 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
73 schema:familyName Leih
74 schema:givenName George
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010667135125.65
76 rdf:type schema:Person
77 sg:person.014574236321.39 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
78 schema:familyName Engelfriet
79 schema:givenName Joost
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39
81 rdf:type schema:Person
82 sg:person.015247703545.18 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
83 schema:familyName Rozenberg
84 schema:givenName Grzegorz
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015247703545.18
86 rdf:type schema:Person
87 https://www.grid.ac/institutes/grid.5132.5 schema:alternateName Leiden University
88 schema:name Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA Leiden, The Netherlands
89 rdf:type schema:Organization
 




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


...