PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!
  • Sesja wygasła!
  • Sesja wygasła!
Tytuł artykułu

Towards a Framework for Modelling Behaviours of Hybrid Systems

Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global time independent way and can possibly be obtained by composing sequentially and in parallel other processes.
Wydawca
Rocznik
Strony
311--332
Opis fizyczny
bibliogr. 19 poz.
Twórcy
autor
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, in Paradaens, J., (Ed.), Proc. of 11th ICALP, 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, JohnWiley and Sons Ltd., Lozanna, New York, Sydney, 1968
  • [6] David, R., Modeling of Dynamic Systems by Petri Nets, in Proc. of European Control Conference, Grenoble, France, July 2-5 1991, 136-147
  • [7] Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4th LICS Symposium, IEEE (1989) 175-185
  • [8] 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
  • [9] Feller, W., An Introduction to Probability Theory and its Applications, Volume II, John Wiley and Sons, Inc. (1966)
  • [10] Milner, R., A Calculus of Communicating Systems, Springer LNCS 92 (1980)
  • [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] Nerode, A., Kohn,W., Models for Hybrid Systems: Automata, Topologies, Controllability, Observability, Springer LNCS 736 (1993) 317-356
  • [14] Petri, C., A., Non-Sequential Processes, Interner Bericht ISF-77-5, Gesellschaft fuer Mathematik und Datenverarbeitung, 5205 St. Augustin, Germany (1977)
  • [15] Pluenecke, H., K-density, N-density and finiteness properties, APN 84, Springer LNCS 188 (1985) 392-412
  • [16] 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
  • [17] 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
  • [18] 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
  • [19] Winkowski, J., Behaviour Algebras, Fundamenta Informaticae 75 (2007), 537-560 http://www.ipipan.waw.pl/_wink/winkowski.htm
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS5-0014-0016
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.