Behaviour Algebras

• Autorzy: Winkowski J.
• Języki publikacji: EN

Abstrakty

EN

The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with respect to a partial binary operation called sequential composition, and they are partial monoids with respect to a partial binary operation called parallel composition. They are characterized by axioms such that their elements and operations can be represented by labelled posets and operations on such posets. The respective representation is obtained without assuming a discrete nature of represented elements. In particular, it remains true for behaviour algebras with infinitely divisible elements, and thus also with elements which can represent continuous and partially continuous processes. An important consequence of the representation of elements of behaviour algebras by labelled posets is that elements of some subalgebras of behaviour algebras can be endowed in a consistent way with structures such as a graph structure etc.

Słowa kluczowe

EN

processes; states; sequential composition; parallel composition; category; partial monoid; structures

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2007
• Tom: Vol. 75, nr 1-4
• Strony: 537--560
• Opis fizyczny: bibliogr. 19 poz.

Twórcy

autor

Winkowski J.

• Józef Witkowski, Instytut Podstaw Informatyki PAN, ordona 21, 01-237 warszawa, Poland,

Bibliografia

• [1] Baldan, P., Bruni, R., Montanari, U., Pre-nets, read arcs and unfolding: a functorial presentation, Proceedings of WADT'02, Wirsing, M., Pattison, D., Hennicker, R., (Eds.), Springer LNCS 2755 (2002) 145-164
• [2] Bergstra, J., Klop, J., The algebra of recursively defined processes and the algebra of regular processes, Proc. of 11th ICALP, Paradaens, J. (Ed.), Springer LNCS 172 (1984) 82-95
• [3] Best, E., Devillers, R., Sequential and Concurrent Behaviour in Petri Net Theory, Theoret. Comput. Sci. 55 (1987) 87-136
• [4] Bourbaki, N., éléments de mathématique, Livre I (Théorie des ensembles), Chapitre 4 (Structures), Act. Sci. Ind. 1258, Hermann, Paris, 1957
• [5] Bucur, I., Deleanu, A., Introduction to the Theory of Categories and Functors, John Wiley and Sons Ltd., Lozanna, New York, Sydney, 1968
• [6] Carnap, R., Introduction to Symbolic Logic and Its Applications, Chapter G: ASs of physics, Dover Publications, Inc., New York, 1958
• [7] Corradini, A., Montanari, U., Rossi, F., Graph Processes, Fundamenta Informaticae 26 (1996), 241-265
• [8] Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4th LICS Symposium, IEEE (1989) 175-185
• [9] Ehrig, H., Kreowski, H. -J., Parallelism of Manipulations in Multidimensional Information Structures, Proc. of MFCS'76, Mazurkiewicz, A. (Ed.), Springer LNCS 45 (1976) 284-293
• [10] Milner, R., Synthesis of Communicating Behaviour, Proc. of MFCS'78, Winkowski, J. (Ed.), Springer LNCS 64 (1978) 71-83
• [11] Milner, R., Calculi of interaction, Acta Informatica 33 (1996) 707-737
• [12] Montanari, U., Rossi, F., Contextual Nets, Acta Informatica 32 (1995) 545-596
• [13] Petri, C., A., Non-Sequential Processes, Interner Bericht ISF-77-5, Gesellschaft fuer Mathematik und Datenverarbeitung, 5205 St. Augustin, Germany (1977)
• [14] Pluenecke, H., K-density, N-density and finiteness properties, APN 84, Springer LNCS 188 (1985) 392-412
• [15] Rozenberg, G., Thiagarajan, P. S., Petri Nets: Basic Notions, Structure, Behaviour, in J. W. de Bakker, W. P. de Roever and G. Rozenberg (Eds.): Current Trends in Concurrency, Springer LNCS 224 (1986) 585-668
• [16] Winkowski, J., An Algebraic Description of System Behaviours, Theoret. Comput. Sci. 21 (1982) 315-340
• [17] Winkowski, J., An Algebraic Characterization of Independence of Petri Net Processes, Information Processing Letters 88 (2003), 73-81
• [18] 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
• [19] Winkowski, J., An Axiomatic Characterization of Algebras of Processes of Petri Nets, Fundamenta Informaticae 72 (2006), 407-420, http://www.ipipan.waw.pl/_wink/winkowski.htm