Structured solution of asynchronously communicating stochastic modules

IEEE Transactions on Software Engineering

Volumn 25, Issue 2, 1999, Pages 147-165

  Campos, Javier ^a   Donatelli, Susanna ^b   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; MATRIX ALGEBRA; PETRI NETS; PROBABILITY; PROBLEM SOLVING; RANDOM PROCESSES; STATE SPACE METHODS; TENSORS;

ASYNCHRONOUSLY COMMUNICATING STOCHASTIC MODULES; KRONECKER ALGEBRA;

SOFTWARE ENGINEERING;

EID: 0032657859     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.761442     Document Type: Article

References (37)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modeling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.
2. P. Buchholz, "A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis," J. Parallel and Distributed Computing, vol. 15, no. 3, pp. 207-224, July 1992.
3. P. Buchholz, "Numerical Solution Methods Based on Structured Descriptions of Markovian Models," G. Balbo and G. Serazzi, eds., Computer Performance Evaluation. Modeling Techniques and Tools, pp. 251-267, Elsevier, 1992.
4. P. Buchholz, "A Class of Hierarchical Queueing Networks and Their Analysis," Queueing Systems, vol. 15, pp. 59-80,1994.
5. P. Buchholz, G. Ciardo, S Donatelli, and P. Kemper, "Complexity of Kronecker Operations on Sparse Matrices with Applications to the Solution of Markov Models," lease report 97-66, Inst. for Computer Applications in Science and Engineering, Hampton, Va., 1997.
6. P. Buchholz and P. Kemper, "Numerical Analyisis of Stochastic Marked Graphs," Proc. Sixth Int'l Workshop Petri Nets and Performance Models, pp. 32-41, Durham, N.C., IEEE CS Press, Oct. 1995.
7. J. Campos, G. Chiola, and M. Suva, "Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks," IEEE Trans. Automatic Control, vol. 36, no. 12, pp. 1,368-1,382, Dec. 1991.
8. J. Campos, J.M. Colom, H. Jungnitz, and M. Suva, "Approximate Throughput Computation of Stochastic Marked Graphs," IEEE Trans. Software Eng., vol. 20, no. 7, pp. 526-535, July 1994.
9. J. Campos, S. Donatelli, and M. Suva, "Structured Solution of Stochastic DSSP Systems," Proc. Seventh Int'l Workshop Petri Nets and Performance Models, pp. 91-100, Saint Malo, France, IEEE CS Press, June 1997.
10. G. Chiola, "A Graphical Petri Net Tool for Performance Analysis," Proc. Third Int'l Workshop Modeling Techniques and Performance Evaluation, Paris, AFCET, Mar. 1987.
11. G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte, "Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications," IEEE Trans. Software Eng., vol. 19, no. 2, pp. 89-107, Feb.1993.
12. G. Chiola, S. Donatelli, and G. Franceschinis, "GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? Proc. Fourth Int'l Workshop Petri Nets and Performance Models, pp. 20-31, Melbourne, Australia, IEEE CS Press, Dec. 1991.
13. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, "Stochastic Well-Formed Coloured Nets for Symmetric Modeling Applications," IEEE Trans. Computers, vol. 42, no. 11, Nov. 1993.
14. G. Ciardo and M. Tilgner, "On the Use of Kronecker Operators for the Solution of Generalized Stochastic Petri Nets," lease Report 96-35, Inst. for Computer Applications in Science and Engineering, Hampton, Va., 1996.
15. J.M. Colom, "AnâTisis Estructural de Redes de Petri, Programaciön Lineal y Geometria Convexa," PhD thesis, Departamento de Ingenierîa Eléctrica e Informâtica, Universidad de Zaragoza, Spain, Research Report, GISI-RR-89-11, June 1989, in Spanish.
16. J.M. Colom and M. Suva, "Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal p-Semiflows," G. Rozenberg, ed., Advances in Petri Nets 1990, Lecture Notes in Computer Science 483, pp. 79-112. Berlin: Springer-Verlag, 1991.
17. J.M. Colom and M. Suva, "Improving the Linearly Based Characterization of P/T Nets," G. Rozenberg, ed., Advances in Petri Nets 1990, Lecture Notes in Computer Science 483, pp. 113-145. Berlin: Springer-Verlag, 1991.
18. M. Davio, "Kronecker Products and Shuffle Algebra," IEEE Trans. Computers, vol. 30, no. 2, pp. 116-125,1981.
19. F. DiCesare, G. Harhalakis, J. M. Proth, M. Suva, and F.B. Vernadat, eds. Practice of Petri Nets in Manufacturing. London: Chapman & Hall, 1993.
20. S. Donatelli, "Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space," Performance Evaluation, vol. 18, pp. 21-36,1993.
21. S. Donatelli, "Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution," R. Valette, ed., Proc. 15th Int'l Conf. Applications and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp. 258-277. Berlin, Heidelberg: SpringerVerlag, 1994.
22. A. Gibbons, Algorithmic Graph Theory. London: Cambridge Univ. Press, 1985.
23. S. Haddad and P. Moreaux, "Evaluation of High Level Petri Nets by Means of Aggregation and Decomposition," Proc. Sixth Int'l Conf. Petri Nets and Performance Models-PNPM'95, pp. 11-20. IEEE Computer Society, 1995.
24. S. Haddad and P. Moreaux, "Asynchronous Composition of High level Petri Nets: A Quantitative Approach," J. Billington and W. Reisig, eds., Proc. 17th Int'l Conf. Applications and Theory of Petri Nets, Lecture Notes in Computer Science 1091, pp. 192-211. Berlin: Springer-Verlag, 1996.
25. W. Henderson and P.G. Taylor, "Aggregation Methods in Exact Performance Analysis of Stochastic Petri Nets," Proc. Third Int'l Workshop Petri Nets and Performance Models, pp. 12-18, Kyoto, Japan, IEEE CS Press, Dec. 1989.
26. P. Kemper, "Numerical Analyisis of Superposed GSPN," IEEE Trans. Software Eng., vol. 22, no. 4, pp. 615-628, Sept. 1996.
27. P. Kemper, "SupGSPN Version 1.0," An Analysis Engine for Superposed GSPNs, technical report, Universität Dortmund, 1997.
28. P. Kemper, "Transient Analysis of Superposed GSPNs," Proc. Seventh Int'l Conf. Petri Nets and Performance Models-PNPM'97, pp. 101-110. IEEE Computer Society, 1997.
29. M.K. Molloy, "Performance Analysis Using Stochastic Petri Nets," IEEE Trans. Computers, vol. 31, no. 9, pp. 913-917, Sept. 1982.
30. T. Murata, "Petri Nets: Properties, Analysis, and Applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
31. C.J. Pérez-Jiménez, J. Campos, and M. Suva, "State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes," Proc. IEEE Int'l Conf. Robotics and Automation, pp. 1,1591,165, Minneapolis, Minn., Apr. 1996.
32. B. Plateau, "On the Stochastic Structure of Parallelism and Synchronization Models for Distributed Algorithms," Proc. SIGMETRICS Conf., pp. 147-154, Austin, Texas, ACM, Aug.1985.
33. L. Recalde, E. Teruel, and M. Suva, "On Well-Formedness Analysis: The Case of Deterministic Systems of Sequential Processes," J. Desel, ed., Structures in Concurrency Theory, Berlin, pp. 279-293. Springer, 1995.
34. L. Recalde, E. Teruel, and M. Suva, "Modeling and Analysis of Sequential Processes that Cooperate Through Buffers," IEEE Trans. Robotics and Automation, vol. 14, no. 2, pp. 267-277,1998.
35. M. Sereno and G. Balbo, "Mean Value Analysis of Stochastic Petri Nets," Performance Evaluation, vol. 29, no. 1, pp. 35-62,1997.
36. M.W. Shields, An Introduction to Automata Theory. Blackwell Scientific, 1987.
37. M. Suva, "Introducing Petri Nets," DiCesare et al. [19] eh. 1.