Asynchronous composition of high level Petri Nets: A quantitative approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1091, Issue , 1996, Pages 192-211

  Haddad, Serge ^a   Moreaux, Patrice ^a  

^a UNIVERSITÉ PARIS DAUPHINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

AGGREGATION METHODS; ASYNCHRONOUS COMPOSITION; DECOMPOSITION METHODS; HIGH-LEVEL PETRI NETS; QUANTITATIVE APPROACH; STOCHASTIC WELL-FORMED NETS; SYNCHRONOUS COMPOSITION; THEORETICAL FOUNDATIONS;

PETRI NETS;

EID: 84957643963     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_11     Document Type: Conference Paper

References (12)

1. P. Buchholz. Hierarchies in colored GSPNs. In Proc. of the l4th International Conference on Application and Theory of Petri Nets, number 691 in LNCS, pages 106-125, Chicago, Illinois, USA, June 1993. Springer-Verlag.
2. P. Buchholz. Aggregation and reduction techniques for hierarchical GCSPN. In Proc. of the 5th International Workshop on Petri Nets and Performance Models, pages 216-225, Toulouse, France, October 19-22 1993. IEEE Computer Society Press.
3. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed colored nets and symetric modeling applications. IEEE Transactions on Computers, 42(11):1343-1360, November 1993.
4. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. Greatspn 1.7: graphical editor and analyzer for timed and stochastic Petri nets. Performance Evaluation, 24(l&2):47-68, 1995.
5. M. Davio. Kronecker products and shuffle algebra. IEEE Transactions on Computers, 30(2):116-125, 1981.
6. S. DonateUi. Superposed generalized stochastic Petri nets: definition and efficient solution. In Robert Valette, editor, Proc. of the 15th International Conference on Application and Theory of Petri Nets, number 815 in LNCS, pages 258-277, Zaragoza, Spain, June 20-24 1994. Springer-Verlag.
7. C. Dutheillet. Symêtries dans les réseaux colorés. Definition, analyse et application à L'éualuation de performance. Thèse, Université Paris VI, Paris, France, January 28 1991.
8. S. Haddad and P. Moreaux. Asynchronous composition of stochastic high level Petri nets. Research report, LAMSADE, Université Paris Dauphine (to appear).
9. S. Haddad and P. Moreaux. Evaluation of high level Petri nets by means of aggregation and decomposition. In Proc. of the 6th International Workshop on Petri Nets and Performance Models, pages 11-20, Durham, NC, USA, October 3-6 1995. IEEE Computer Society Press.
10. J. G. Kemeny and J. L. Snell. Finite Markov Chains. V. Nostrand, Princeton, NJ, 1960.
11. B. Plateau and J.M. Fourneau. A methodology for solving Markov models of parallel systems. Journal of parallel and distributed computing, 12:370-387, 1991.
12. Y. Saad and M. H. Schultz. Gmres: A generalized minimal residual algorithm for solving nonsymetric linear systems. SIAM J. Sci. Stat. Comput., 7:856-869, 1986.