Abstract
This paper extends the applicability of exact analysis of the GSPN model by providing methods to improve the time and space complexity of both state space and structural level reduction. For state space level reduction, we maximize the concurrent firing of immediate transitions. For structural level reduction, we minimize the number of generated replicas for timed transitions by using branch and bound techniques to create concurrent replicas that simulate the firing of the timed transition followed by the simultaneously firing of multiple immediate transitions.
This work was sponsored by the Advanced Research Projects Agency of the U.S. Department of Defense under Contract MDA 972-91-J-1011, Advanced Networking and Distributed Systems.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
G. Balbo, G. Chiola, G. Franceschinis, and G. Roet. On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. In Proceedings of the International Workshop on Petri Nets and Performance Models, pages 136–145, August 1987.
Giovanni Chiola, Susanna Donatelli, and Giuliana Franceschinis. GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? In Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, pages 20–31, December 1991.
Giovanni Chiola, Marco Marsan, Gianfranco Balbo, and Gianni Conte. Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications. IEEE Transactions on Software Engineering, 19(2):89–107, February 1993.
Mark A. Holliday and Mary K. Vernon. A Generalized Timed Petri Net Model for Performance Analysis. IEEE Transactions on Software Engineering, SE-13(12):1297–1310, December 1987.
Donna S. Nielsen. Performance Evaluation of Distributed Systems Using Structural Level Analysis of Performance Petri Nets. PhD thesis, University of California, Los Angeles, June 1994.
C. Simone and M. Ajmone Marsan. The Application of EB-Equivalence Rules to the Structural Reduction of GSPN Models. Journal of Parallel and Distributed Computing, 15(3):296–302, July 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nielsen, D.S., Kleinrock, L. (1994). Data structures and algorithms for extended state space and structural level reduction of the GSPN model. In: Valette, R. (eds) Application and Theory of Petri Nets 1994. ICATPN 1994. Lecture Notes in Computer Science, vol 815. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58152-9_22
Download citation
DOI: https://doi.org/10.1007/3-540-58152-9_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58152-9
Online ISBN: 978-3-540-48462-2
eBook Packages: Springer Book Archive