Structural techniques and performance bounds of stochastic Petri net models View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1992

AUTHORS

Javier Campos , Manuel Silva

ABSTRACT

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. More... »

PAGES

352-391

Book

TITLE

Advances in Petri Nets 1992

ISBN

978-3-540-55610-7
978-3-540-47258-2

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-55610-9_178

DOI

http://dx.doi.org/10.1007/3-540-55610-9_178

DIMENSIONS

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


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

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




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


...