Abstract
Hybrid Systems are modelsof interacting digital and continuous devices with applicationsin the control of aircraft, computers, or modern cars for instance.Concurrently, Fluid Stochastic Petri Nets (FSPNs) have been introducedas an extension of stochastic Petri nets to model physical systemsthat contain continuous fluid quantities controlled by discretelogic, as well as a means to deal with the possible state explosionof discrete models. Of course, an FSPN is by definition a hybridsystem but in this paper, we compare a general hybrid systemsformalism with FSPN formalism. The conclusion of this paper,suplemented by some examples, is that fluid stochastic Petrinets and hybrid system formalism can be converted from one tothe other. Although there is a price to pay for such a conversion,the conversion can transfer the solution methods from one tothe other and thus help the development of both formalisms.
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., Balbo, G., Conte, G., Donatelli, S., and Franceschinis, G. 1995. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons.
Alla, H., and David, R. 1998. A modelling and analysis tool for discrete event systems: continuous Petri net. Performance Evaluation. 33, 175–199.
Alur, R., Courcoubetis, C., Henzinger, T., and Ho, P. 1991. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. A. P. R. Robert L. Grossman, Anil Nerode and H. Rischel, eds., vol. 736 Lecture Notes in Computer Science. Springer-Verlag, pp. 209–229
Alur, R., and Dill, D. 1994. A theory of timed automata. Theoretical Computer Science. 126: 183–235.
Bushnell, L., Beldiman, O., and Walsh, G. 1998. An equivalence between a control network and a switched hybrid system. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science. T. A. Henzinger and S. Sastry, eds., vol. 1386, pp. 64–79, Springer-Verlag.
Cassandras, C. 1993. Discrete Event Systems: Modeling and Performance Analysis. Aksen Associates Incorporated Publishers and Irwin.
Ciardo, G., Blakemore, A., Chimento, P., Muppala, J., and Trivedi, K. 1993. Automated generation and analysis of markov reward models using stochatic eeward nets. Linear Algebra, Markov Chains and Queuing Models, C. Meyer and R. Plemmons, eds., IMA Volumes in Mathematics and its Applications. Heidelberg: Springer-Verlag, vol. 48, pp. 145–191.
Ciardo, G., Muppala, J., and Trivedi, K. 1989. SPNP: Stochastic Petri net package. Proc. Third International Workshop on Petri Nets and Performance Models, PNPM'89. pp. 142–151.
Ciardo, G., Nicol, D., and Trivedi, K. 1999. Discrete-event simulation of fluid stochastic Petri-nets. IEEE Transactions on Software Engineering 25(2): 207–217.
David, R. 1997. Modeling hybrid systems using continuous and hybrid Petri nets. Proc. Seventh International Workshop on Petri Nets and Performance Models, PNPM'97. pp. 142–151.
Gaver, D. 1962. A waiting line with interrupted service, including priorities. Journal of Royal Statistical Society. B24: 73–90.
Gribaudo, M., Sereno, M., and Bobbio, A. 1999. Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. Proc. 8th Intern. Workshop on Petri Nets and Performance Models. Zaragoza, Spain: IEEE-CS Press, pp. 74–81B.
Henzinger, T., and Ho, P. 1995. HYTECH: The Cornell HYbrid TECHnology Tool. Hybrid Systems II. Lecture Notes in Computer Science. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, eds., Springer-Verlag, vol. 999, pp. 265–293.
Henzinger, T., Kopke, P., and Varaiya, P. 1995. What' decidable about hybrid automata? Proc. 27th Symposium on the Theory of Computing. pp. 373–382.
Hirel, C., Tuffin, B., and Trivedi, K. 2000, SPNP Version 6.0. Computer performance evaluation: Modelling tools and techniques; 11th International Conference; TOOLS 2000. B. Haverkort, H. Bohnenkamp, and C. Smith, eds., Schaumburg, IL: Springer-Verlag, pp. 354–357.
Horton, G., Kulkarni, V., Nicol, D., and Trivedi, K. 1998. Fluid stochastic Petri nets: Theory, application and solution. European Journal of Operational Research. 105: 184–201.
Kushner, H. 1967. Stochastic Stability and Control. New York/London: Academic Press.
Lynch, N., Saias, I., and Segala, R. 1994. Proving time bounds for randomized distributed algorithms. Proc. 13th Annual ACM PODC.
Marie, R., and Trivedi, K. 1987. A note on the effect of preemptive policies on the stability of a priority queue. Information Processing Letters. 24(6): 397–401.
Mariton, M. 1990. Jump Linear Systems in Automatic Control. Marcel Dekker, Inc.
Peterson, J. 1981. Petri Nets and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall.
Puri, A., and Varaiya, P. 1994. Decidability of hybrid systems with rectangular inclusions. Computer Aided Verification, CAV'94, Lecture Notes in Computer Science, D. Dill, ed., Springer-Verlag, vol. 818, pp. 95–104.
Reising, W. 1985. Petri Nets: An Introduction. Springer-Verlag.
Trivedi, K. 1998. Probability and Statistics with Reliability, Queuing and Computer Science Applications. Prentice Hall.
Trivedi, K. S., and Kulkarni, V. G. 1993. FSPNs: Fluid stochistic Petri nets. 14th International Conference on Applacations and Theory of Petri Nets. pp. 24–31.
Varaiya, P. 1999. Design, simulation and implementation of hybrid systems. Application and Theory of Petri Nets 1999, Lecture Notes in Computer Science, S. Donatelli and J. Kleijn, eds., Springer-Verlag, vol. 1639, pp. 1–5.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Tuffin, B., Chen, D.S. & Trivedi, K.S. Comparison of Hybrid Systems and Fluid Stochastic Petri Nets. Discrete Event Dynamic Systems 11, 77–95 (2001). https://doi.org/10.1023/A:1008387132533
Issue Date:
DOI: https://doi.org/10.1023/A:1008387132533