Javier Campos, Manuel Silva  Home/Search
Context Related
| cps.unizar.es/deps/D...92_CS_LNCS.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: jaca.cps.unizar.es...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
...the CTMC is completely derived. For later iterations only some values must be changed. In some cases (for instance, for FRT nets [3]) the relative throughputs (or visit ratios) of transitions of the BS are independent on the transition service time (they only depend on...
...iteration the CTMC is completely derived. For later iterations only some values must be changed. In some cases (for instance, for FRTnets [3]) the relative throughputs (or visit ratios) of transitions of the BS are independent on the transition service time (they only depend...
Cited by: More
On performance bounds for interval Time Petri Nets - Bernardi, Campos (Correct)
Functional and Performance Analysis of Cooperating.. - Teruel, Silva, Colom, .. (1995) (Correct)
Performance Evaluation Of Deds With Conflicts And.. - Silva, Campos (1998) (Correct)
Similar documents (at the sentence level):
7.1%: Performance Bounds for Synchronized Queueing Networks - Laclaustra (1990) (Correct)
Active bibliography (related documents): More All
1.8: Properties and Performance Bounds for Closed Free Choice.. - Campos, Chiola, Silva (1991) (Correct)
1.3: A Reachable Throughput Upper Bound for Live and Safe Free.. - Campos, Colom (1991) (Correct)
1.2: Performance Models Based On Petri Nets - Silva, Campos (Correct)
Similar documents based on text: More All
0.3: Properties and Bounds on P/T Nets - Campos (1999) (Correct)
0.2: Ergodicity and Throughput Bounds of Petri Nets with Unique .. - Campos, Chiola, Silva (1991) (Correct)
0.2: Structured Solution of Asynchronously Communicating.. - Campos, Donatelli, Silva (1997) (Correct)
Related documents from co-citation: More All
6: Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass .. - Campos, Chiola et al. - 1991
4: Performance Analysis Using Stochastic Petri Nets (context) - Molloy - 1982
4: Approximate Throughput Computation of Stochastic Marked Graphs (context) - Campos, Colom et al. - 1994
BibTeX entry: (Update)
Campos, J. and Silva, M., Structural Techniques and Performance Bounds of Stochastic Petri Net Models, in: Rozenberg, G. (ed.), Advances in PNs'92, vol. 609 of LNCS (SpringerVerlag, Berlin, 1992) pp. 352--391. http://citeseer.ist.psu.edu/campos92structural.html More
@incollection{ campos92structural,
author = "Campos and Silva",
title = "Structural Techniques and Performance Bounds of Stochastic Petri Net Models",
booktitle = "Advances in Petri Nets 1987, ed. Grzegorz Rozenberg, {LNCS} 266; Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, {LNCS} 254-255, 1987, {LNCS} 188 (1984), {LNCS} 340 (1988), {LNCS} 483 (1991)",
year = "1992",
url = "citeseer.ist.psu.edu/campos92structural.html" }
Citations (may not include all citations):413 Petri Net Theory and the Modeling of Systems (context) - Peterson - 1981
331 Stochastic Processes (context) - Ross - 1983
197 A class of generalized stochastic Petri nets for the perform.. (context) - Marsan, Balbo et al. - 1984
124 Queueing Systems Volume I: Theory (context) - Kleinrock - 1975
124 Petri nets: Properties (context) - Murata - 1989
122 Performance analysis using stochastic Petri nets (context) - Molloy - 1982
96 IEEE-Computer Society Press (context) - the, Workshop et al. - 1991
96 IEEE-Computer Society Press (context) - the, Workshop et al. - 1989
96 IEEE-Computer Society Press (context) - the, on et al. - 1985
96 IEEE-Computer Society Press (context) - the, on et al. - 1987
92 Mean value analysis of closed multichain queueing networks (context) - Reiser, Lavenberg - 1980
76 Performance evaluation of asynchronous concurrent systems us.. (context) - Ramamoorthy, Ho - 1980
65 Analysis of production schemata by Petri nets - Hack - 1972
61 Quantitative System Performance (context) - Lazowska, Zahorjan et al. - 1984
59 The effect of execution policies on the semantics and analys.. (context) - Marsan, Balbo et al. - 1989
49 Queueing Systems Volume II: Computer Applications (context) - Kleinrock - 1976
42 Use of Petri nets for performance evaluation (context) - Sifakis - 1978
42 and mixed networks of queues with different classes of custo.. (context) - Baskett, Chandy et al. - 1975
39 Analysis of Asynchronous Concurrent Systems by Petri Nets (context) - Ramchandani - 1974
30 Properties and performance bounds for closed free choice syn.. - Campos, Chiola et al. - 1991
27 Generalized stochastic Petri nets revisited: Random switches.. (context) - Marsan, Balbo et al. - 1987
22 Las Redes de Petri en la Autom'atica y la Inform'atica (context) - Silva - 1985
19 A proof of the queueing formula L = W (context) - Little - 1961
19 Balanced job bound analysis of queueing networks (context) - Zahorjan, Sevcik et al. - 1982
19 volume 1 of Handbooks in Operations Research and Management .. (context) - Nemhauser, Kan et al. - 1989
18 Les r'eseaux de Petri stochastiques (context) - Florin, Natkin - 1985
17 Ergodicity and throughput bounds of Petri nets with unique c.. - Campos, Chiola et al. - 1991
16 Closed queueing systems with exponential servers (context) - Gordon, Newell - 1967
13 Tight polynomial bounds for steady-state performance of mark.. - Campos, Chiola et al. - 1989
12 Properties and performance bounds for timed marked graphs - Campos, Chiola et al. - 1990
12 Microelectronics and Reliability (context) - Zuberek, nets et al. - 1991
11 A perspective on queueing models of computer performance (context) - Lavenberg - 1989
9 Throughput lower bounds for Markovian Petri nets: Transforma.. - Campos, S'anchez et al. - 1991
9 Improving throughput upper bounds for net based models - Campos, Colom et al. - 1991
9 The research queueing package: past (context) - Sauer, MacNair et al. - 1982
9 A comparison of performance Petri nets and queueing network .. (context) - Vernon, Zahorjan et al. - 1987
8 Steady-state performance evaluation of totally open systems .. - Campos, Silva - 1990
8 the computation of structural synchronic invariants in P/T n.. (context) - Silva, Colom - 1988
7 Linear algebraic calculation of deadlocks and traps (context) - Lautenbach - 1987
7 Performance bound hierarchies for queueing networks (context) - Eager, Sevcik - 1983
7 Fast bounds for stochastic Petri nets (context) - Molloy - 1985
7 the productform solution of a class of multiple-bus multipro.. (context) - Marsan, Balbo et al. - 1986
5 A reachable throughput upper bound for live and safe free ch.. - Campos, Colom - 1991
5 Performance Bounds for Synchronized Queueing Networks - Campos - 1990
4 reversibility and symmetry properties in fork/join queueing .. (context) - Dallery, Liu et al. - 1990
4 The effect of increasing service rates in a closed queueing .. (context) - Shanthikumar, Yao - 1986
3 Structure Theory of Free Choice Nets (context) - Esparza - 1990
3 On liveness analysis through linear algebraic techniques - Colom, Campos et al. - 1990
2 Performance evaluation of repetitive automated manufacturing.. - Campos, Colom et al. - 1990
2 Transformations of timed Petri nets and performance analysis (context) - Zuberek, Zuberek - 1990
1 Embedded queueing networks and the improvement of insensitiv.. (context) - Campos, Silva - 1992
1 Microelectronics and Reliability (context) - Florin, Fraize et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://jaca.cps.unizar.es/publications.html): More
Steady-State Performance Evaluation of Totally Open Systems of .. - Campos, Silva (1990) (Correct)
On Optimal Scheduling in DEDS - Ramírez, Campos, Silva (Correct)
Operational Analysis of Timed Petri Nets and.. - Chiola, Anglano.. (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC