Partial (set) 2-structures View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1990-03

AUTHORS

A. Ehrenfeucht, G. Rozenberg

ABSTRACT

The notion of a labeled partial 2-structure is introduced and studied. It generalizes the notion of a (labeled) 2-structure studied in [1] and [2] and it provides a convenient mathematical framework for studying graphs. In particular, a subclass of labeled partial 2-structures, the so-called labeled partial set 2-structures corresponds very closely to those graphs that are state spaces of concurrent systems. Part I of this paper investigates the basic theory of labeled partial 2-structures and it considers the problem of representing partial 2-structures as partial set 2-structures. More... »

PAGES

315-342

References to SciGraph publications

  • 1986. Petri nets: Basic notions, structure, behaviour in CURRENT TRENDS IN CONCURRENCY
  • 1985. Petri Nets, An Introduction in NONE
  • Identifiers

    URI

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

    DOI

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

    DIMENSIONS

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


    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/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computation Theory and Mathematics", 
            "type": "DefinedTerm"
          }, 
          {
            "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/0804", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Data Format", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of Colorado at Boulder, 80309, Boulder, CO, USA", 
              "id": "http://www.grid.ac/institutes/grid.266190.a", 
              "name": [
                "Department of Computer Science, University of Colorado at Boulder, 80309, Boulder, CO, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Ehrenfeucht", 
            "givenName": "A.", 
            "id": "sg:person.013736710237.19", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013736710237.19"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of Leiden, P.O. Box 9512, NL-2300, RA Leiden, The Netherlands", 
              "id": "http://www.grid.ac/institutes/grid.5132.5", 
              "name": [
                "Department of Computer Science, University of Colorado at Boulder, 80309, Boulder, CO, USA", 
                "Department of Computer Science, University of Leiden, P.O. Box 9512, NL-2300, RA Leiden, The Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Rozenberg", 
            "givenName": "G.", 
            "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/978-3-642-69968-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015990409", 
              "https://doi.org/10.1007/978-3-642-69968-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0027048", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039262993", 
              "https://doi.org/10.1007/bfb0027048"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1990-03", 
        "datePublishedReg": "1990-03-01", 
        "description": "The notion of a labeled partial 2-structure is introduced and studied. It generalizes the notion of a (labeled) 2-structure studied in [1] and [2] and it provides a convenient mathematical framework for studying graphs. In particular, a subclass of labeled partial 2-structures, the so-called labeled partial set 2-structures corresponds very closely to those graphs that are state spaces of concurrent systems. Part I of this paper investigates the basic theory of labeled partial 2-structures and it considers the problem of representing partial 2-structures as partial set 2-structures.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/bf00264611", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1133515", 
            "issn": [
              "0001-5903", 
              "1432-0525"
            ], 
            "name": "Acta Informatica", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "4", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "27"
          }
        ], 
        "keywords": [
          "convenient mathematical framework", 
          "mathematical framework", 
          "state space", 
          "basic theory", 
          "graph", 
          "Part I", 
          "concurrent systems", 
          "notion", 
          "space", 
          "problem", 
          "theory", 
          "framework", 
          "subclasses", 
          "system", 
          "corresponds", 
          "paper", 
          "partial set 2-structures corresponds", 
          "set 2-structures corresponds", 
          "partial set 2-structures", 
          "set 2-structures"
        ], 
        "name": "Partial (set) 2-structures", 
        "pagination": "315-342", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1047232716"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/bf00264611"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/bf00264611", 
          "https://app.dimensions.ai/details/publication/pub.1047232716"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2021-11-01T17:59", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/article/article_240.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/bf00264611"
      }
    ]
     

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

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

    105 TRIPLES      22 PREDICATES      50 URIs      38 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/bf00264611 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 anzsrc-for:0803
    4 anzsrc-for:0804
    5 schema:author Ne4e9864f4eed48d8a2d0aa5e9861cfae
    6 schema:citation sg:pub.10.1007/978-3-642-69968-9
    7 sg:pub.10.1007/bfb0027048
    8 schema:datePublished 1990-03
    9 schema:datePublishedReg 1990-03-01
    10 schema:description The notion of a labeled partial 2-structure is introduced and studied. It generalizes the notion of a (labeled) 2-structure studied in [1] and [2] and it provides a convenient mathematical framework for studying graphs. In particular, a subclass of labeled partial 2-structures, the so-called labeled partial set 2-structures corresponds very closely to those graphs that are state spaces of concurrent systems. Part I of this paper investigates the basic theory of labeled partial 2-structures and it considers the problem of representing partial 2-structures as partial set 2-structures.
    11 schema:genre article
    12 schema:inLanguage en
    13 schema:isAccessibleForFree false
    14 schema:isPartOf N07e058741c6d4fc89dfcb97043f09689
    15 N2a12c396a5ed4e1f8377732cac75b985
    16 sg:journal.1133515
    17 schema:keywords Part I
    18 basic theory
    19 concurrent systems
    20 convenient mathematical framework
    21 corresponds
    22 framework
    23 graph
    24 mathematical framework
    25 notion
    26 paper
    27 partial set 2-structures
    28 partial set 2-structures corresponds
    29 problem
    30 set 2-structures
    31 set 2-structures corresponds
    32 space
    33 state space
    34 subclasses
    35 system
    36 theory
    37 schema:name Partial (set) 2-structures
    38 schema:pagination 315-342
    39 schema:productId N45e255b2728c46b69e84263dced56789
    40 Nfe5145ba44ca4e609a420400d5eedfc5
    41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047232716
    42 https://doi.org/10.1007/bf00264611
    43 schema:sdDatePublished 2021-11-01T17:59
    44 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    45 schema:sdPublisher N228721d6607c44e4a34d77dba70bf8a5
    46 schema:url https://doi.org/10.1007/bf00264611
    47 sgo:license sg:explorer/license/
    48 sgo:sdDataset articles
    49 rdf:type schema:ScholarlyArticle
    50 N02eb799247a744bf8cf00104da836ab9 rdf:first sg:person.015247703545.18
    51 rdf:rest rdf:nil
    52 N07e058741c6d4fc89dfcb97043f09689 schema:issueNumber 4
    53 rdf:type schema:PublicationIssue
    54 N228721d6607c44e4a34d77dba70bf8a5 schema:name Springer Nature - SN SciGraph project
    55 rdf:type schema:Organization
    56 N2a12c396a5ed4e1f8377732cac75b985 schema:volumeNumber 27
    57 rdf:type schema:PublicationVolume
    58 N45e255b2728c46b69e84263dced56789 schema:name doi
    59 schema:value 10.1007/bf00264611
    60 rdf:type schema:PropertyValue
    61 Ne4e9864f4eed48d8a2d0aa5e9861cfae rdf:first sg:person.013736710237.19
    62 rdf:rest N02eb799247a744bf8cf00104da836ab9
    63 Nfe5145ba44ca4e609a420400d5eedfc5 schema:name dimensions_id
    64 schema:value pub.1047232716
    65 rdf:type schema:PropertyValue
    66 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    67 schema:name Information and Computing Sciences
    68 rdf:type schema:DefinedTerm
    69 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    70 schema:name Computation Theory and Mathematics
    71 rdf:type schema:DefinedTerm
    72 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    73 schema:name Computer Software
    74 rdf:type schema:DefinedTerm
    75 anzsrc-for:0804 schema:inDefinedTermSet anzsrc-for:
    76 schema:name Data Format
    77 rdf:type schema:DefinedTerm
    78 sg:journal.1133515 schema:issn 0001-5903
    79 1432-0525
    80 schema:name Acta Informatica
    81 schema:publisher Springer Nature
    82 rdf:type schema:Periodical
    83 sg:person.013736710237.19 schema:affiliation grid-institutes:grid.266190.a
    84 schema:familyName Ehrenfeucht
    85 schema:givenName A.
    86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013736710237.19
    87 rdf:type schema:Person
    88 sg:person.015247703545.18 schema:affiliation grid-institutes:grid.5132.5
    89 schema:familyName Rozenberg
    90 schema:givenName G.
    91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015247703545.18
    92 rdf:type schema:Person
    93 sg:pub.10.1007/978-3-642-69968-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015990409
    94 https://doi.org/10.1007/978-3-642-69968-9
    95 rdf:type schema:CreativeWork
    96 sg:pub.10.1007/bfb0027048 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039262993
    97 https://doi.org/10.1007/bfb0027048
    98 rdf:type schema:CreativeWork
    99 grid-institutes:grid.266190.a schema:alternateName Department of Computer Science, University of Colorado at Boulder, 80309, Boulder, CO, USA
    100 schema:name Department of Computer Science, University of Colorado at Boulder, 80309, Boulder, CO, USA
    101 rdf:type schema:Organization
    102 grid-institutes:grid.5132.5 schema:alternateName Department of Computer Science, University of Leiden, P.O. Box 9512, NL-2300, RA Leiden, The Netherlands
    103 schema:name Department of Computer Science, University of Colorado at Boulder, 80309, Boulder, CO, USA
    104 Department of Computer Science, University of Leiden, P.O. Box 9512, NL-2300, RA Leiden, The Netherlands
    105 rdf:type schema:Organization
     




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


    ...