Branching processes of Petri nets View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1991-06

AUTHORS

Joost Engelfriet

ABSTRACT

The notion of a branching process is introduced, as a formalization of an initial part of a run of a Petri net, including nondeterministic choices. This generalizes the notion of a process in a natural way. It is shown that the set of branching processes of a Petri net is a complete lattice, with respect to the natural notion of partial order. The largest element of this lattice is the unfolding of the Petri net. More... »

PAGES

575-591

Journal

TITLE

Acta Informatica

ISSUE

6

VOLUME

28

Author Affiliations

Identifiers

URI

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

DOI

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

DIMENSIONS

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


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/0904", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Chemical Engineering", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/09", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Engineering", 
        "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, Leiden, 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"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/3-540-17906-2_31", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000541505", 
          "https://doi.org/10.1007/3-540-17906-2_31"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-17945-3_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007447453", 
          "https://doi.org/10.1007/3-540-17945-3_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0019-9958(83)80040-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1013699356"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0019-9958(83)80040-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1013699356"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "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/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/3-540-13345-3_18", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022331272", 
          "https://doi.org/10.1007/3-540-13345-3_18"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01783665", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026935993", 
          "https://doi.org/10.1007/bf01783665"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01783665", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026935993", 
          "https://doi.org/10.1007/bf01783665"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(81)90112-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035972534"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0017157", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038769915", 
          "https://doi.org/10.1007/bfb0017157"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1051580827", 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-73483-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051580827", 
          "https://doi.org/10.1007/978-3-642-73483-0"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-73483-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051580827", 
          "https://doi.org/10.1007/978-3-642-73483-0"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1991-06", 
    "datePublishedReg": "1991-06-01", 
    "description": "The notion of a branching process is introduced, as a formalization of an initial part of a run of a Petri net, including nondeterministic choices. This generalizes the notion of a process in a natural way. It is shown that the set of branching processes of a Petri net is a complete lattice, with respect to the natural notion of partial order. The largest element of this lattice is the unfolding of the Petri net.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/bf01463946", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1133515", 
        "issn": [
          "0001-5903", 
          "1432-0525"
        ], 
        "name": "Acta Informatica", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "6", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "28"
      }
    ], 
    "name": "Branching processes of Petri nets", 
    "pagination": "575-591", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "6fabce8669a1642bc587390eea09778faf31cae329f5b2f00f751e7800ac5d04"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf01463946"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1023439124"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf01463946", 
      "https://app.dimensions.ai/details/publication/pub.1023439124"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T13:32", 
    "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/0000000370_0000000370/records_46760_00000001.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007/BF01463946"
  }
]
 

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

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

Turtle is a human-readable linked data format.

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

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

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


 

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

97 TRIPLES      21 PREDICATES      37 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf01463946 schema:about anzsrc-for:09
2 anzsrc-for:0904
3 schema:author N1a0b945a31e240889eebddf8644eaf80
4 schema:citation sg:pub.10.1007/3-540-13345-3_18
5 sg:pub.10.1007/3-540-17906-2_31
6 sg:pub.10.1007/3-540-17945-3_13
7 sg:pub.10.1007/978-3-642-69968-9
8 sg:pub.10.1007/978-3-642-73483-0
9 sg:pub.10.1007/bf01783665
10 sg:pub.10.1007/bfb0017157
11 https://app.dimensions.ai/details/publication/pub.1051580827
12 https://doi.org/10.1016/0304-3975(81)90112-2
13 https://doi.org/10.1016/s0019-9958(83)80040-0
14 schema:datePublished 1991-06
15 schema:datePublishedReg 1991-06-01
16 schema:description The notion of a branching process is introduced, as a formalization of an initial part of a run of a Petri net, including nondeterministic choices. This generalizes the notion of a process in a natural way. It is shown that the set of branching processes of a Petri net is a complete lattice, with respect to the natural notion of partial order. The largest element of this lattice is the unfolding of the Petri net.
17 schema:genre research_article
18 schema:inLanguage en
19 schema:isAccessibleForFree false
20 schema:isPartOf Nd055ec8a6e844b1092885710002afd81
21 Ne675a0a0739a43a08cf5c49873c51301
22 sg:journal.1133515
23 schema:name Branching processes of Petri nets
24 schema:pagination 575-591
25 schema:productId N30c7ae959e1f443195519d7e291e6d47
26 Na61d23032f47439386118b08bca7fecf
27 Nbc42c450a0594da1a22a202df3e1a9b8
28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023439124
29 https://doi.org/10.1007/bf01463946
30 schema:sdDatePublished 2019-04-11T13:32
31 schema:sdLicense https://scigraph.springernature.com/explorer/license/
32 schema:sdPublisher Nddc16d74cfcb483a968af7c26b65d284
33 schema:url http://link.springer.com/10.1007/BF01463946
34 sgo:license sg:explorer/license/
35 sgo:sdDataset articles
36 rdf:type schema:ScholarlyArticle
37 N1a0b945a31e240889eebddf8644eaf80 rdf:first sg:person.014574236321.39
38 rdf:rest rdf:nil
39 N30c7ae959e1f443195519d7e291e6d47 schema:name readcube_id
40 schema:value 6fabce8669a1642bc587390eea09778faf31cae329f5b2f00f751e7800ac5d04
41 rdf:type schema:PropertyValue
42 Na61d23032f47439386118b08bca7fecf schema:name doi
43 schema:value 10.1007/bf01463946
44 rdf:type schema:PropertyValue
45 Nbc42c450a0594da1a22a202df3e1a9b8 schema:name dimensions_id
46 schema:value pub.1023439124
47 rdf:type schema:PropertyValue
48 Nd055ec8a6e844b1092885710002afd81 schema:issueNumber 6
49 rdf:type schema:PublicationIssue
50 Nddc16d74cfcb483a968af7c26b65d284 schema:name Springer Nature - SN SciGraph project
51 rdf:type schema:Organization
52 Ne675a0a0739a43a08cf5c49873c51301 schema:volumeNumber 28
53 rdf:type schema:PublicationVolume
54 anzsrc-for:09 schema:inDefinedTermSet anzsrc-for:
55 schema:name Engineering
56 rdf:type schema:DefinedTerm
57 anzsrc-for:0904 schema:inDefinedTermSet anzsrc-for:
58 schema:name Chemical Engineering
59 rdf:type schema:DefinedTerm
60 sg:journal.1133515 schema:issn 0001-5903
61 1432-0525
62 schema:name Acta Informatica
63 rdf:type schema:Periodical
64 sg:person.014574236321.39 schema:affiliation https://www.grid.ac/institutes/grid.5132.5
65 schema:familyName Engelfriet
66 schema:givenName Joost
67 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014574236321.39
68 rdf:type schema:Person
69 sg:pub.10.1007/3-540-13345-3_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022331272
70 https://doi.org/10.1007/3-540-13345-3_18
71 rdf:type schema:CreativeWork
72 sg:pub.10.1007/3-540-17906-2_31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000541505
73 https://doi.org/10.1007/3-540-17906-2_31
74 rdf:type schema:CreativeWork
75 sg:pub.10.1007/3-540-17945-3_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007447453
76 https://doi.org/10.1007/3-540-17945-3_13
77 rdf:type schema:CreativeWork
78 sg:pub.10.1007/978-3-642-69968-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015990409
79 https://doi.org/10.1007/978-3-642-69968-9
80 rdf:type schema:CreativeWork
81 sg:pub.10.1007/978-3-642-73483-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051580827
82 https://doi.org/10.1007/978-3-642-73483-0
83 rdf:type schema:CreativeWork
84 sg:pub.10.1007/bf01783665 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026935993
85 https://doi.org/10.1007/bf01783665
86 rdf:type schema:CreativeWork
87 sg:pub.10.1007/bfb0017157 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038769915
88 https://doi.org/10.1007/bfb0017157
89 rdf:type schema:CreativeWork
90 https://app.dimensions.ai/details/publication/pub.1051580827 schema:CreativeWork
91 https://doi.org/10.1016/0304-3975(81)90112-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035972534
92 rdf:type schema:CreativeWork
93 https://doi.org/10.1016/s0019-9958(83)80040-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013699356
94 rdf:type schema:CreativeWork
95 https://www.grid.ac/institutes/grid.5132.5 schema:alternateName Leiden University
96 schema:name Department of Computer Science, Leiden University, P.O. Box 9512, 2300 RA, Leiden, The Netherlands
97 rdf:type schema:Organization
 




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


...