Ontology type: schema:Chapter Open Access: True
1992
AUTHORS ABSTRACTIn this paper we overview some recent results obtained by the authors and collaborators on the performance bounds analysis of some stochastic Petri net systems. The mathematical model can be seen either as a result of the addition of a particular random timing interpretation to an “autonomous” Petri net or as a generalization of classical queueing networks with the addendum of a general synchronization primitive. It constitutes an adequate tool for both the validation of logical properties and the evaluation of performance measures of concurrent and distributed systems. Qualitative and quantitative understandings of Petri net models are stressed here making special emphasis on structural techniques for the analysis of logical and performance properties. Important aspects from the performance point of view, such as relative throughput of stations (transitions), and number of servers present at them, are related to Petri net concepts like P- or T-semiflows or liveness bounds of transitions. For the particularly interesting case of Markovian Petri net systems, some improvements of the bounds can be achieved. Marked graphs and free choice are net subclasses for which the obtained results have special quality, therefore an additional attention is focussed on them. More... »
PAGES352-391
Advances in Petri Nets 1992
ISBN
978-3-540-55610-7
978-3-540-47258-2
http://scigraph.springernature.com/pub.10.1007/3-540-55610-9_178
DOIhttp://dx.doi.org/10.1007/3-540-55610-9_178
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1049800689
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/0104",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Statistics",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Mathematical Sciences",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"name": [
"Dpto. de Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica, Centro Polit\u00e9cnico Superior Universidad de Zaragoza, Mar\u00eda de Luna 3, 50015\u00a0Zaragoza, Spain"
],
"type": "Organization"
},
"familyName": "Campos",
"givenName": "Javier",
"id": "sg:person.015776567476.62",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015776567476.62"
],
"type": "Person"
},
{
"affiliation": {
"name": [
"Dpto. de Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica, Centro Polit\u00e9cnico Superior Universidad de Zaragoza, Mar\u00eda de Luna 3, 50015\u00a0Zaragoza, Spain"
],
"type": "Organization"
},
"familyName": "Silva",
"givenName": "Manuel",
"id": "sg:person.013406576107.14",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013406576107.14"
],
"type": "Person"
}
],
"datePublished": "1992",
"datePublishedReg": "1992-01-01",
"description": "In this paper we overview some recent results obtained by the authors and collaborators on the performance bounds analysis of some stochastic Petri net systems. The mathematical model can be seen either as a result of the addition of a particular random timing interpretation to an \u201cautonomous\u201d Petri net or as a generalization of classical queueing networks with the addendum of a general synchronization primitive. It constitutes an adequate tool for both the validation of logical properties and the evaluation of performance measures of concurrent and distributed systems. Qualitative and quantitative understandings of Petri net models are stressed here making special emphasis on structural techniques for the analysis of logical and performance properties. Important aspects from the performance point of view, such as relative throughput of stations (transitions), and number of servers present at them, are related to Petri net concepts like P- or T-semiflows or liveness bounds of transitions. For the particularly interesting case of Markovian Petri net systems, some improvements of the bounds can be achieved. Marked graphs and free choice are net subclasses for which the obtained results have special quality, therefore an additional attention is focussed on them.",
"editor": [
{
"familyName": "Rozenberg",
"givenName": "Grzegorz",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/3-540-55610-9_178",
"inLanguage": [
"en"
],
"isAccessibleForFree": true,
"isPartOf": {
"isbn": [
"978-3-540-55610-7",
"978-3-540-47258-2"
],
"name": "Advances in Petri Nets 1992",
"type": "Book"
},
"name": "Structural techniques and performance bounds of stochastic Petri net models",
"pagination": "352-391",
"productId": [
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/3-540-55610-9_178"
]
},
{
"name": "readcube_id",
"type": "PropertyValue",
"value": [
"ed3c688153bd478752e05924ab1dfc6bd540929d16e11a1cef9613dd86587da5"
]
},
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1049800689"
]
}
],
"publisher": {
"location": "Berlin, Heidelberg",
"name": "Springer Berlin Heidelberg",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/3-540-55610-9_178",
"https://app.dimensions.ai/details/publication/pub.1049800689"
],
"sdDataset": "chapters",
"sdDatePublished": "2019-04-15T20:52",
"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_8690_00000085.jsonl",
"type": "Chapter",
"url": "http://link.springer.com/10.1007/3-540-55610-9_178"
}
]
Download the RDF metadata as: json-ld nt turtle xml License info
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/3-540-55610-9_178'
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/3-540-55610-9_178'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-55610-9_178'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-55610-9_178'
This table displays all metadata directly associated to this object as RDF triples.
73 TRIPLES
22 PREDICATES
27 URIs
20 LITERALS
8 BLANK NODES
Subject | Predicate | Object | |
---|---|---|---|
1 | sg:pub.10.1007/3-540-55610-9_178 | schema:about | anzsrc-for:01 |
2 | ″ | ″ | anzsrc-for:0104 |
3 | ″ | schema:author | Nee2aa2d6846e4360a7cdfd9a20375236 |
4 | ″ | schema:datePublished | 1992 |
5 | ″ | schema:datePublishedReg | 1992-01-01 |
6 | ″ | schema:description | In this paper we overview some recent results obtained by the authors and collaborators on the performance bounds analysis of some stochastic Petri net systems. The mathematical model can be seen either as a result of the addition of a particular random timing interpretation to an “autonomous” Petri net or as a generalization of classical queueing networks with the addendum of a general synchronization primitive. It constitutes an adequate tool for both the validation of logical properties and the evaluation of performance measures of concurrent and distributed systems. Qualitative and quantitative understandings of Petri net models are stressed here making special emphasis on structural techniques for the analysis of logical and performance properties. Important aspects from the performance point of view, such as relative throughput of stations (transitions), and number of servers present at them, are related to Petri net concepts like P- or T-semiflows or liveness bounds of transitions. For the particularly interesting case of Markovian Petri net systems, some improvements of the bounds can be achieved. Marked graphs and free choice are net subclasses for which the obtained results have special quality, therefore an additional attention is focussed on them. |
7 | ″ | schema:editor | Ne36324a11b1c4d05a2dff4b5c755fae2 |
8 | ″ | schema:genre | chapter |
9 | ″ | schema:inLanguage | en |
10 | ″ | schema:isAccessibleForFree | true |
11 | ″ | schema:isPartOf | N84e7125dadd94f9b8f790e9bd225069b |
12 | ″ | schema:name | Structural techniques and performance bounds of stochastic Petri net models |
13 | ″ | schema:pagination | 352-391 |
14 | ″ | schema:productId | N0e9d30d545bc49979714f1e012214ab6 |
15 | ″ | ″ | N7668e6be63e743a19528b7b06192bbbb |
16 | ″ | ″ | N7a025c535367402f93ffda55fd4f53ee |
17 | ″ | schema:publisher | N4bb3f9889b8b4d66b01096a7ef008cc4 |
18 | ″ | schema:sameAs | https://app.dimensions.ai/details/publication/pub.1049800689 |
19 | ″ | ″ | https://doi.org/10.1007/3-540-55610-9_178 |
20 | ″ | schema:sdDatePublished | 2019-04-15T20:52 |
21 | ″ | schema:sdLicense | https://scigraph.springernature.com/explorer/license/ |
22 | ″ | schema:sdPublisher | Ne940e29b4bae43f1a235501ed6e98e1f |
23 | ″ | schema:url | http://link.springer.com/10.1007/3-540-55610-9_178 |
24 | ″ | sgo:license | sg:explorer/license/ |
25 | ″ | sgo:sdDataset | chapters |
26 | ″ | rdf:type | schema:Chapter |
27 | N0e9d30d545bc49979714f1e012214ab6 | schema:name | doi |
28 | ″ | schema:value | 10.1007/3-540-55610-9_178 |
29 | ″ | rdf:type | schema:PropertyValue |
30 | N205e0541b5d84b2b8f67ae72112e9f43 | schema:name | Dpto. de Ingeniería Eléctrica e Informática, Centro Politécnico Superior Universidad de Zaragoza, María de Luna 3, 50015 Zaragoza, Spain |
31 | ″ | rdf:type | schema:Organization |
32 | N4268ea610c7a406793e0e0d32ef9b4de | schema:familyName | Rozenberg |
33 | ″ | schema:givenName | Grzegorz |
34 | ″ | rdf:type | schema:Person |
35 | N4bb3f9889b8b4d66b01096a7ef008cc4 | schema:location | Berlin, Heidelberg |
36 | ″ | schema:name | Springer Berlin Heidelberg |
37 | ″ | rdf:type | schema:Organisation |
38 | N512c8666a433413cb6c3d08339edf741 | rdf:first | sg:person.013406576107.14 |
39 | ″ | rdf:rest | rdf:nil |
40 | N7668e6be63e743a19528b7b06192bbbb | schema:name | readcube_id |
41 | ″ | schema:value | ed3c688153bd478752e05924ab1dfc6bd540929d16e11a1cef9613dd86587da5 |
42 | ″ | rdf:type | schema:PropertyValue |
43 | N7a025c535367402f93ffda55fd4f53ee | schema:name | dimensions_id |
44 | ″ | schema:value | pub.1049800689 |
45 | ″ | rdf:type | schema:PropertyValue |
46 | N84e7125dadd94f9b8f790e9bd225069b | schema:isbn | 978-3-540-47258-2 |
47 | ″ | ″ | 978-3-540-55610-7 |
48 | ″ | schema:name | Advances in Petri Nets 1992 |
49 | ″ | rdf:type | schema:Book |
50 | Nd8f89721acea4ed3a0da358dd35cf4e0 | schema:name | Dpto. de Ingeniería Eléctrica e Informática, Centro Politécnico Superior Universidad de Zaragoza, María de Luna 3, 50015 Zaragoza, Spain |
51 | ″ | rdf:type | schema:Organization |
52 | Ne36324a11b1c4d05a2dff4b5c755fae2 | rdf:first | N4268ea610c7a406793e0e0d32ef9b4de |
53 | ″ | rdf:rest | rdf:nil |
54 | Ne940e29b4bae43f1a235501ed6e98e1f | schema:name | Springer Nature - SN SciGraph project |
55 | ″ | rdf:type | schema:Organization |
56 | Nee2aa2d6846e4360a7cdfd9a20375236 | rdf:first | sg:person.015776567476.62 |
57 | ″ | rdf:rest | N512c8666a433413cb6c3d08339edf741 |
58 | anzsrc-for:01 | schema:inDefinedTermSet | anzsrc-for: |
59 | ″ | schema:name | Mathematical Sciences |
60 | ″ | rdf:type | schema:DefinedTerm |
61 | anzsrc-for:0104 | schema:inDefinedTermSet | anzsrc-for: |
62 | ″ | schema:name | Statistics |
63 | ″ | rdf:type | schema:DefinedTerm |
64 | sg:person.013406576107.14 | schema:affiliation | Nd8f89721acea4ed3a0da358dd35cf4e0 |
65 | ″ | schema:familyName | Silva |
66 | ″ | schema:givenName | Manuel |
67 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013406576107.14 |
68 | ″ | rdf:type | schema:Person |
69 | sg:person.015776567476.62 | schema:affiliation | N205e0541b5d84b2b8f67ae72112e9f43 |
70 | ″ | schema:familyName | Campos |
71 | ″ | schema:givenName | Javier |
72 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015776567476.62 |
73 | ″ | rdf:type | schema:Person |