PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • 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
PL
Zarys formalizmu do opisu działania systemów hybrydowych
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 seąuentially and in parallel other processes.
PL
Praca dotyczy opisywania systemów hybrydowych poprzez definiowanie przebiegów ich działania zwanych procesami, gdzie procesy są reprezentowane strukturami częściowo uporządkowanymi i mog^ być definiowane przez szeregowe i równoległe składanie wcześniej zdefiniowanych procesów.
Rocznik
Tom
Strony
1--31
Opis fizyczny
Bibliogr. 19 poz.
Twórcy
autor
Bibliografia
  • [BBM 02] 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
  • [BK 84] Bergstra, J., Klop, J., The algebra of recursively defined processes and the algebra of regular processes, m Paradaens, J., (Ed.), Proc. of llth ICALP, Springer LNCS 172 (1984) 82-95
  • [BD 87] Best, E., Devillers, R., Sequential and Concurrent Behaviour in Petri Net Theory, Theoret. Comput. Sci. 55 (1987) 87-136
  • [Bou 57] Bourbaki, N., Elements de mathematique, Livre I (Theorie des ensembles), Chapitre 4 (Structures), Act. Sci. Ind. 1258, Hermann, Paris, 1957
  • [BuDe 68] Bucur, L, Deleanu, A., Introduction to the Theory of Categories and Functors, John Wiley and Sons Ltd., Lozanna, New York, Sydney, 1968
  • [David 91] David, R., Modeling of Dynamiec Systems by Petri Nets, in Proc. of European Control Conference, Grenoble, France, July 2-5 1991, 136-147
  • [DMM 89] Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4th LICS Symposium, IEEE (1989) 175-185
  • [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
  • [F 66] Feller, W., An Introduction to Probability Theory and its Applications, Volume II, John Wiley and Sons, Inc. (1966)
  • [Miln 80] Milner, R., A Calculus of Communicating Systems, Springer LNCS 92 (1980)
  • [Miln 96] Milner, R., Calculi of interaction, Acta Informatica 33 (1996) 707-737
  • [MR 95]         Montanari, U., Rossi, F., Contextual Nets, Acta Informatica 32 (1995) 545-596
  • [NK 93]         Nerode, A., Kohn, W., Models for Hybrid Systems: Automata,Topologies, Controllability, Observability, Springer LNCS 736 (1993) 317-356
  • [Petri 77]      Petri, C., A., Non-Sequential Processes, Interner Bericht ISF-77-5, Gesellschaft fuer Mathematik und Datenverarbeitung, 5205 St. Augustin, Germany (1977)
  • [Plue 85] Pluenecke, H., K-density, N~density and finiteness properties, APN 84, Springer LNCS 188 (1985) 392-412
  • [RT 86]         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
  • [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 06a] 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.iitm
  • [Wink 06b]    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-BUJ6-0018-0008
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ć.