Probabilistic models of random behaviours of concurrent systems

• Autorzy: Winkowski, J.

Warianty tytułu

PL

Modele probabilistyczne losowych zachowań systemów współbieżnych

• Języki publikacji: EN

Abstrakty

EN

The paper presents a theoretical basis for describing and analysing random behaviours of concurrent systems of a broad class.

PL

Praca zawiera podstawy teoretyczne opisu i analizy losowych zachowań systemów współbieżnych dowolnej natury.

Słowa kluczowe

PL

system współbieżny; stan; proces; składanie; etykietowany poset (zbiór częściowo uporządkowany); częściowo uporządkowany wielozbiór (pomset); skierowany zupełny porządek częściowy; topologia Scotta; Borelowska algebra zbiorów; miara probabilistyczna

EN

concurrent system; state; process; composition; labelled poset; pomset; directed complete partial order; Scott topology; Borel σ-algebra of sets; probability measure

• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2012
• Tom: Nr 1024
• Strony: 1--42
• Opis fizyczny: Bibliogr. 33 poz., rys.

Twórcy

autor

Winkowski, J.

• Instytut Podstaw Informatyki PAN 01-248 Warszawa, ul. Jana Kazimierza 5 (d. Ordona 21) ,

Bibliografia

• [AES 00] Alvarez-Manilla, M., Edalat, A., Saheb-Djahromi, N., An Extension Result for Continuous Valuations, J. London math. Soc. (2) 61 (2000) 629-640
• [Carn 58] Carnap, R., Introduction to Symbolic Logic and Its Applications, Chapter G: ASs of physics, Dover Publications, Inc., New York, 1958
• [DS 01] Droste, M., Shortt, R. M., Continuous Petri Nets and Transition Systems, in Ehrig, H., et al. (Eds.), Unifying Petri Nets, Springer LNCS 2128 (2001) 457-484
• [GHK 80] Gierz, G., Hofmann, k., H., Keimel, K., Lawson, J.,D., Mislove, M., and Scott, D.,S., A compendium of continuous lattices, Springer, Berlin, 1980
• [Eng 91] Engelfriet, J., Branching Processes of Petri Nets, Acta Informatica 28 (1991) 575-591
• [F 66] Feller, W., An Introduction to Probability Theory and Its Applications, Vol. II, John Wiley and Sons, Inc., 1966
• [GP 95] Glabbeek, R., J., van, Plotkin, G., D., Configuration Structures, Proceedings of LICS'95, Kozen, D., (Ed.), IEEE Computer Society Press (1995) 199-209
• [HSP 83] Hart, S., Sharir, M., Pnueli, A., Termination of Probabilistic Concurrent Programs, ACM Trans, on Programming Languages and Systems, Vol. 5, No. 3, July 1083, 356-380
• [JP 89] Jones, C, Plotkin, G. D., A probabilistic powerdomain of evaluations, Proceedings of 4th LICS, 1989, 186-195
• [Kw,03] Kwiatkowska, M., Model checking for probability and tirae: from theory to practice, Proc. of 18th IEEE Symposium on Logic in Computer Science (LICS'03), IEEE Computer Society Press (2003), 351-360
• [LSV 07] Lynch, N., Segala, R., Vaandrager, F., Observing Branching Structure Through Probabilistic Contexts, Siam Journal on Computing 37 (4), 977-1013, September 2007
• [McL 71] Mac Lane, S., Categories for the Working Mathematician, Springer-Verlag New York Heidelberg Berlin 1971
• [Mey 66] Meyer, P. A., Probability and Potentials, Blaisdell Publishing Company, Waltham, Massachusetts, Toronto, London (1966)
• [Miln 78] Milner, R., Synthesis of Communicating Behaviour, Proc. Of MFCS'78, Winkowski, J. (Ed.), Springer LNCS 64 (1978) 71-83 (1980)
• [Miln 80] Milner, R., A Calculus of Communicating Systems, Springer LNCS 92 (1980)
• [ML 07] Mitra, S., Lynch, N., Trace-based Semantics for Probabilistic Timed l/O Automata, Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italy, April 3-5, 2007, Springer LNCS 4416, Fuli version: http://theory.lcs.mit.edu/~mitras/research/PTIOA-066-full.pdf (1980)
• [NK 93] Nerode, A., Kohn, W., Models for Hybrid Systems: Automata, Topologies, Controllability, Observability, Springer LNCS 736 (1993) 317-356
• [Par 80] Parthasarathy, K. R., Introduction to Probability and Measure, New Delhi (1980)
• [Petri 80] Petri, C. A., Introduction to General Net Theory, in W. Brauer (Ed.): Net Theory and Applications, Springer LNCS 84 (1980) 1-19
• [Plue 85] Pluenecke, H., K-density, N-density and finiteness properties, APN 84, Springer LNCS 188 (1985) 392-412
• [Pn 86] Pnueli, A., Applications of temporal logie to the specification and verification of reactive systems: a survey of current trends, in: J. W. de Bakker, W.-P. de Roever and G. Rozenberg, eds., Lecture Notes in Comp. Sc. 224, Springer, Berlin, 1986, 510-584
• [Re 85] Reisig, W., Petri Nets: An Introduction, Springer-Verlag (1985)
• [RT 86] Rozenberg, G., Thiagarajan, P. S., Petri Nets: Basic Notions, Structure, Behauiour, in J. W. de Bakker, W. P. de Roever and G. Rozenberg (Eds.): Current Trends in Concurrency, Springer LNCS 224 (1986) 585-668
• [VVW04] Varacca. D.. Yólzer, H., Winskel, G., Probabilistic Event Structures and Domains, in P. Gardner and N. Yoshida (eds.), CONCUR 2004, Springer LNCS 3170 (2004), 497-511
• [Wink 03] Winkowski, J., An Algebraic Characterization of Independence of Petri Net Processes, Information Processing Letters 88 (2003), 73-81
• [Wink 05] Winkowski, J., Towards a Framework for Modelling Systems with Rich Structures of States and Processes, Fundamenta Informaticae 68 (2005), 175-206, http: //www.ipipan.waw.pl/~wink/winkowski.htm
• [Wink 07a] Winkowski, J., Behaviour Algebras, Fundamenta Informaticae 75 (2007), 537-560 http://www.ipipan.waw.pl/~wink/winkowski.htm
• [Wink 07b] Winkowski, J., Towards a Framework for Modelling Behaviours of Hybrid Systems, Fundamenta Informaticae 80 (2007), 311-332, http://www.ipipan.waw.pl/~wink/winkowski.htm
• [Wink 08] Winkowski, J., An Algebraic Framework for Defining Random Concurrent Behaviours, Fundamenta Informaticae 85 (2008), 481-496
• [Wink 09a] Winkowski, J., An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructiue Presentation, Fundamenta Informaticae 97 (2009), 235-273
• [Wink 09b] Winkowski, J., An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Aziomatic Presentation, Fundamenta Informaticae 97 (2009), 439-470
• [Wink 11] Winkowski, J., Multiplicative Transition Systems, Fundamenta Informaticae 109, No 2 (2011), 201-222
• [WN 95] Winskel, G., Nielsen, M., Models for Concurrency, in S.Abramsky, Dov M. Gabbay and T. S. E. Maibaum (Eds.): Handbook of Logic in Computer Science 4 (1995), 1-148