Abstract
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based on stochastic Petri nets. With this new operator we can model some repetitive behaviours, and then we obtain a formal method that can be easily used for the design of communication protocols and distributed systems.
This work has been supported by the MCyT project “Description and Performance of Distributed Systems and Application to Multimedia Systems, Ref. TIC2003-07848-c02-02”.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-540-30232-2_24
Chapter PDF
Similar content being viewed by others
References
Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, Chichester (1995)
Bernando, M., Gorrieri, R.: A Tutorial on EMPA: A Theory of Concurrent Process with Nondeterminism, Priorities, Probabilities and Time. Theorical Computer Science 202, 1–54 (1998)
Best, E., Devillers, R., Koutny, M.: Petri Nets, Process Algebras and Programming Languages. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1492, pp. 1–84. Springer, Heidelberg (1998)
Best, E., Devillers, R., Koutny, M.: A Consistent Model for Nets and Process Algebras. In: Bergstra, J.A., Ponse, A., Smolka, S.S. (eds.) The Handbook on Process Algebras, ch. 14, pp. 873–944. North Holland, Amsterdam (2001)
Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. EATC. Springer, Heidelberg (2001)
Best, E., Devilllers, R., Hall, J.: The Box Calculus: A New Causal Algebra with Multi-label Communication. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol. 609, pp. 21–69. Springer, Heidelberg (1992)
Best, E., Koutny, M.: A Refined View of the Box Algebra. In: DeMichelis, G., Díaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 1–20. Springer, Heidelberg (1995)
Hermanns, H., Rettelbach, M.: Syntax, Semantics, Equivalences and Axioms for MTIPP. In: Herzog, U., Rettelbach, M. (eds.) Proc. of the 2nd Workshop on Process Algebra and Performance Modelling, Regensberg/Erlangen, pp. 71–88 (1994)
Hillston, J.: The nature of the synchronization. In: Int. Workshop on Process Algebra and Performance Modelling (1994)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Koutny, M.: A Compositional Model of Time Petri Nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 303–322. Springer, Heidelberg (2000)
Macià, H.: sPBC: Una Extensión Markoviana del Petri Box Calculus. PhD thesis, Departamento de Informática, Universidad de Castilla-La Mancha (2003) (in spanish)
Macià, H., Valero, V., Cuartero, F., Pelayo, F.L.: A new proposal for the synchronization in sPBC. In: Proc. Third IEEE Int. Conference on Application of Concurrent to System Design (ACSD 2003), pp. 216–225. IEEE Computer Society Press, Los Alamitos (2003)
Macià, H., Valero, V., de Frutos, D.: sPBC: A Markovian Extension of Finite Petri Box Calculus. In: Proc. 9th IEEE Int. Workshop on Petri Nets and Performance Models (PNPM 2001), pp. 207–216. IEEE Computer Society Press, Los Alamitos (2001)
Marroquín, O., de Frutos, D.: Extending the Petri Box Calculus with Time. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 195–207. Springer, Heidelberg (2001)
Milner, R.: Communication and Concurrency. Prentice-Hall International, Englewood Cliffs (1989)
Ribaudo, M.: Stochastic Petri Net Semantics for Stochastic Process Algebra. In: Proc. 6th Int. Workshop on Petri Nets and Performance Models (PNPM 1995), Durham (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 IFIP International Federation for Information Processing
About this paper
Cite this paper
Maciá, H., Valero, V., Cazorla, D., Cuartero, F. (2004). Introducing the Iteration in sPBC. In: de Frutos-Escrig, D., Núñez, M. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2004. FORTE 2004. Lecture Notes in Computer Science, vol 3235. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30232-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-30232-2_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23252-0
Online ISBN: 978-3-540-30232-2
eBook Packages: Springer Book Archive