Integrating synchronization with priority into a Kronecker representation

Performance Evaluation

Volumn 44, Issue 1-4, 2001, Pages 73-96

  Donatelli, Susanna ^a   Kemper, Peter ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; ITERATIVE METHODS; MARKOV PROCESSES; MATHEMATICAL MODELS; PETRI NETS;

KRONECKER ALGEBRA; STOCHASTIC PETRI NETS;

SYNCHRONIZATION;

EID: 0035311239     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(00)00060-2     Document Type: Article

References (24)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, Wiley, New York, 1995.
2. G. Balbo, G. Chiola, G. Franceschinis, G. Molinar-Roet, On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets, in: Proceedings of the Second International Workshop on Petri Nets and Performance Models, Madison, WI, IEEE Computer Society Press, Silverspring, MD, 1987.
3. F. Bause, P. Buchholz, P. Kemper, A toolbox for functional and quantitative analysis of DEDS (extended abstract), in: Proceedings of the 10th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools, Lecture Notes in Computer Science, Vol. 1469, Springer, Berlin, 1998.
4. S. Bernardi, S. Donatelli, A. Horváth, Compositionality in the GreatSPN tool and its application to the modelling of industrial applications, in: Proceedings of the Workshop on the Practical Use of High Level Petri Nets, Aarhus, Denmark, June 27, 2000.
5. O. Botti, S. Donatelli, G. Franceschinis, Assessing the performance of multiprocessor architectures through SWN models simulation: a case study in the field of plant automation systems, in: Proceedings of the 29th Annual Simulation Symposium, New Orleans, LA, April 8-11, 1996. IEEE Computer Society Press, Silverspring, MD, 1987.
6. P. Buchholz, G. Ciardo, S. Donatelli, P. Kemper, Complexity of memory efficient Kronecker equations with applications to the solution of Markov models, INFORMS J. Comput. 3 (12) (2000) 203-222.
7. P. Buchholz, P. Kemper, Modular state level analysis of distributed systems - techniques and tool support, in: Proceedings of the Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 1579, Springer, Berlin, 1999.
8. G. Chiola, S. Donatelli, G. Franceschinis, GSPN versus SPN: what is the actual role of immediate transitions? in: Proceedings of the Fourth International Conference on Petri Nets and Performance Models, Melbourne, Australia, December 1991.
9. G. Chiola, G. Franceschinis, R. Gaeta, M. Ribaudo, GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets, Perform. Eval. (special issue on Performance Modelling Tools) 24 (1) (1996).
10. P. Buchholz, P. Kemper, Efficient computation and representation of large reachability sets for composed automata, in: Proceedings of the Fifth Workshop on Discrete Event Systems (WODES 2000), Discrete Event Systems - Analysis and Control, Kluwer Academic Publishers, Dordrecht, 2000.
11. J. Campos, S. Donatelli, M. Silva, Structured solution of asynchronously communicating stochastic modules, IEEE Trans. Softw. Eng. 25 (2).
12. G. Ciardo, A. Miner, A data structure for the efficient Kronecker solution of GSPNs, in: Proceedings of the Eighth International Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, Silver Spring, MD, 1999.
13. G. Ciardo, A. Miner, Efficient reachability set generation and storage using decision diagrams, in: Proceedings of the 20th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science, Vol. 1639, Springer, Berlin, 1999.
14. G. Ciardo, M. Tilgner, On the use of Kronecker operators for the solution of generalized stochastic Petri nets, ICASE Report 96-35, Institute for Computer Applications in Science and Engineering, Hampton, VA, May 1996.
15. Davio M. Kronecker products and shuffle algebra. IEEE Trans. Comput. 30(2):1981;116-125.
16. Dayar T., Uysal E. Iterative methods based on splittings for stochastic automata networks. Eur. J. Oper. Res. 110(1):1998;166-186.
17. S. Donatelli, Superposed generalized stochastic Petri nets: definition and efficient solution, in: Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science, Vol. 815, Springer, Berlin, 1994.
18. S. Donatelli, P. Kemper, Integrating synchronization with priority into a Kronecker representation, in: Proceedings of the 11th International Conference on TOOLS2000, Schaumburg, USA, Computer Performance Evaluation Modelling Techniques and Tools, Lecture Notes in Computer Science, Vol. 1786, Springer, Berlin, March 2000.
19. T. Kam, State minimization of finite state machines using implicit techniques, Ph.D. Thesis, University of California, Berkeley, CA, 1995.
20. P. Kemper, Numerical analysis of superposed GSPNs, IEEE Trans. Softw. Eng. 22 (9) (1996).
21. P. Kemper, Reachability analysis based on structured representations, in: Proceedings of the 17th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science, Vol. 1091, Springer, Berlin, 1996.
22. P. Kemper, R. Lübeck, Model checking based on Kronecker algebra, Forschungsbericht 669, Fachbereich Informatik, Universität Dortmund, Germany, 1998.
23. B. Plateau, On the stochastic structure of parallelism and synchronization models for distributed algorithms, in: Proceedings of the 1985 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, Austin, TX, May 1985.
24. M. Tilgner, Y. Takahashi, G. Ciardo, SNS: synchronized network solver, in: M. Silva, R. Valette, K. Takahashi (Eds.), Workshop on Manufacturing and Petri Nets, within 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, 1996.