sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions

• Autorzy: Macia H. , Valero V. , Cuartero F. , Ruiz M.C.
• Języki publikacji: EN

Abstrakty

EN

Petri Box Calculus (PBC) is an algebraicmodel for the description of concurrent systems and sPBC (stochastic Petri Box Calculus) is a Markovian extension of that model. In this paper we add immediate multiactions to sPBC in order to increase the description power of this language. Thus, we both have timed multiactions that follow an exponential distribution, and multiactions that do not require any time and can be immediately executed. The denotational semantics of this model is based on a special class of GSPN (Generalized Stochastic Petri Nets), called gs-boxes .

Słowa kluczowe

EN

Petri box calculus; stochastic process algebras; generalized stochastic Petri nets

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 87, nr 3-4
• Strony: 367--406
• Opis fizyczny: bibliogr. 22 poz., wykr.

Twórcy

autor

Macia H.

autor

Valero V.

autor

Cuartero F.

autor

Ruiz M.C.

• Escuela Polit´ecnica Superior de Albacete. Universidad de Castilla-La Mancha, 02071 Albacete, Spain,

Bibliografia

• [1] Aho, A., Ullman, J., Yanakakis, M.: Modeling communication protocols by automata, In Proc. of the 20th IEEE Symp. on Fundations of Computer Science, pages 267-273, 1979.
• [2] Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets, Wiley, 1995.
• [3] Bernando, M., Gorrieri, R.: A Tutorial on EMPA: A Theory of Concurrent Process with Nondeterminism, Priorities, Probabilities and Time, Theorical Computer Science, 202, pages 1-54, 1998.
• [4] Best, E., Devillers, R., Koutny, M.: A Consistent Model for Nets and Process Algebras, In the book The Handbook on Process Algebras, J.A. Bergstra, A. Ponse and S.S. Smolka (Eds.), North Holland, Chapter 14, pages 873-944, 2001.
• [5] Best, E., Devillers, R., Koutny,M.: Petri Net Algebra, EATC, Springer, 2001.
• [6] Best, E., Devilllers, R., Hall, J.: The Box Calculus: A New Causal Algebra withMulti-label Communication, In Advances in Petri Nets, G. Rozenberg (Eds.), LNCS 609, Springer, pages 21-69, 1992.
• [7] Best, E., Koutny, M.: A Refined View of the Box Algebra, In Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, G. De Michelis and M. Diaz (Eds.), LNCS 935, Springer, pages 1-20, 1995.
• [8] Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets, Performance Evaluation, 24, pages 47-68, 1995.
• [9] Ezpeleta, J.: Flexible Manufacturing Systems, In the book Petri Nets for Systems Engineering, C. Girault and R. Valk (Eds.), Springer Verlag, Chapter 24, pages 479-506, 2002.
• [10] GreatSPN: Performance Evaluation group. Dipartamento di Informatica: Universita di Torino (Italy), http://www.di.unito.it/ greatspn/index.html, 2001.
• [11] Haas, P.: Stochastic Petri Nets. Modelling, stability, simulation, New York. Springer-Verlag, 2002.
• [12] Hermanns, H., Rettelbach, M.: Syntax, Semantics, Equivalences and Axioms for MTIPP, In Proc. of the 2nd Workshop on Process Algebra and Performance Modelling, PAPM 1994, Erlangen, U. Herzog and M. Rettelbach, (Eds.), pages 71-88, 1994.
• [13] Hillston, J.: The nature of the synchronization, In Proc. of the 2nd Workshop on Process Algebra and Performance Modelling, PAPM 1994, Erlangen, U. Herzog and M. Rettelbach, (Eds.), pages 51-70, 1994.
• [14] Hillston, J.: A Compositional Approach to Performance Modelling, Cambridge University Press, 1996.
• [15] Koutny,M.: A CompositionalModel of Time Petri Nets, In Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark,M. Nielsen and D. Simpson (Eds.), LNCS 1825, Springer, pages 303-322, 2000.
• [16] Macià, H., Valero, V., Cuartero, F., de-Frutos, D.: A Congruence Relation for sPBC, In Formal Methods in System Design, 32, pages 85-128, 2008.
• [17] Macià, H., Valero, V., de-Frutos, D.: sPBC: A Markovian Extension of Finite Petri Box Calculus, In Proc. of the 9th IEEE Int. Workshop on Petri Nets and Performance Models, PNPM 2001, IEEE Computer Society Press, pages 207-216, 2001.
• [18] Marroquín, O., de-Frutos, D.: Extending the Petri Box Calculus with Time, In Application and Theory of Petri Nets, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, J.M. Colom and M. Koutny (Eds.), LNCS 2075, Springer, pp. 195-207, 2001.
• [19] Milner, R.: Communication and Concurrency, Prentice-Hall International, 1989.
• [20] Ribaudo,M.: Stochastic Petri Net Semantics for Stochastic Process Algebra, In Proc. of the 6th Int.Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, 1995.
• [21] Ross, S.: Stochastic Processes, John Wiley & Sons, 1996.
• [22] Tarasyuk, I. V.: Stochastic Petri box calculus with discrete time, In Fundamenta Informaticae 76, IOS Press, pages 189-219, 2007.