Abstract
We analyze the drawbacks of generally distributed time transition stochastic Petri nets (GDTT_SPN) in evaluating the performance of parallel systems, and propose a more general model, stochastic individual predicate/transition nets (SIPTN). SIPTN has higher modeling power and could provide more realistic models compared to GDTT_SPN, because in SIPTN the sojourn time distribution is determined not only by the transition, but also by the individuals. It is further proved that GDTT_SPN is a subset of SIPTN. As SIPTN introduces folding techniques from predicate/transition nets, SIPTN models have simpler and more intuitive graphic notations and accordingly higher usability, and thus are suitable for constructing simulation models for parallel systems.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ajmone Marsan, M., Conte, G., Balbo, G., 1984. A class of generalized Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst., 2(2):93–122. [doi:10.1145/190.191]
Ajmone Marsan, M., Balbo, G., Bobbio, A., Chiola, G., Conte, G., Cumani, A., 1989. The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Trans. Software Eng., 15(7):832–846. [doi:10.1109/32.29483]
Ajmone Marsan, M., Bobbio, A., Donatelli, S., 1998. Petri nets in performance analysis: an introduction. LNCS, 1491:211–256.
Balbo, G., 2001. Introduction to stochastic Petri nets. LNCS, 2090:117–148. [doi:10.1007/3-540-44667-2_3]
Genrich, H.J., Lautenbach, K., 1979. The analysis of distributed systems by means of predicate/transition-nets. LNCS, 70:123–146. [doi:10.1007/BFb0022467]
Herzog, U., 2002. Formal methods for performance evaluation. LNCS, 2090:1–37. [doi:10.1007/3-540-44667-2_1]
Jain, J.L., Mohanty, S.G., Böhm, W., 2006. A Course on Queueing Models. Chapman & Hall/CRC, London, New York.
Jensen, K., 1996. Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use (2nd Ed.). Volume 1, Springer-Verlag Berlin, New York, p.65–85.
Lin, C., Marinescu, D.C., 1988. Stochastic high level Petri nets and applications. IEEE Trans. Comput., 37(7):815–825. [doi:10.1109/12.2227]
Molloy, M.K., 1981. On the Integration of Delay and Throughput Measures in Distributed Processing Models. PhD Thesis, UCLA, Los Angeles, CA.
Wang, H.X., Yue, Y., Zhang, C.M., Bai, G.Q., Chen, H.Y., 2007. A Novel Unified Control Architecture for a High-performance Network Security Accelerator. Proc. Int. Conf. on Security and Management, p.538–544.
Zimmermann, A., 2007. Stochastic Discrete Event Systems: Modeling, Evaluation, Applications. Springer, Berlin Heidelberg New York, p.65–78.
Author information
Authors and Affiliations
Additional information
Project supported by the National Natural Science Foundation of China (No. 60576027), and the Hi-Tech Research and Development Program (863) of China (No. 2006AA01Z415)
Rights and permissions
About this article
Cite this article
Yue, Y., Zhang, Cm., Wang, Hx. et al. Stochastic individual predicate/transition nets. J. Zhejiang Univ. Sci. A 10, 165–171 (2009). https://doi.org/10.1631/jzus.A0820268
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1631/jzus.A0820268