Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Praca dotyczy algebr, które można otrzymać przez wyposażenie zbiorów procesów sieci Petriego w składanie sekwencyjne i równoległe. Rozważane algebry są kategoriami z dodatkową strukturą i z dodatkowymi własnościami. Dowodzi się, że wszystkie struktury algebraiczne o takich własnościach dają się przedstawiać jako algebry procesów sieci Petriego.
Wydawca
Rocznik
Tom
Strony
1--19
Opis fizyczny
Bibliogr. 11 poz.
Twórcy
autor
- Instytut Podstaw Informatyki PAN 01-237 Warszawa, Ordona 21,, wink@ipipan.waw.pl
Bibliografia
- [DMM 89) Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4th LICS Symposium, IEEE (1989) 175-185
- [Maz 88] Mazurkiewicz, A., Basic Notions of Trace Theory, in J.
- Bakker, W. P. de Roever and G. Rozenberg (Eds.): Linear Time Branching Time and Partial Order in Logics and Models for Con-currency, Springer LNCS 354 (1988) 285-363
- [Petri 62]Petri, C. A., Kommunikation mit Automaten, PhD thesis, Institut fuer Instrumentelle Mathematik, Bonn, Germany (1962)
- [Petri 80]Petri, C. A., Introduction to General Net Theory, in W. Brauer
- (Ed.): Net Theory and Applications, Springer LNCS 84 (1980) 1-19
- [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
- [Th 86]Thiagarajan, P. S., Elementary Net Systems, in: W. Brauer, W. Reisig and G. Rozenberg (Eds.): Advances in.Petri Nets 1986, Part 1, Springer LNCS 254 (1986) 26-59
- [Wink 80]Winkowski, J., Behaviours of Concurrent Systems, Theoret. Comput. Sci. 12 (1980) 39-60
- [Wink 82]Winkowski, J., An Algebraic Description of System Behaviours, Theoret. Comput. Sci. 21 (1982) 315-340
- [Wink 03]Winkowski, J., An Algebraic Characterization of Independence of Petri Net Processes, Information Processing Letters 88 (2003), 73-81
- [Wink 04]Winkowski, J., Towards a Framework for Modelling Systems with Rich Structures of States and Processes, ICS PAS Report 973 (2004), http://www.ipipan.waw.p1/~ wink/winkowski.htm
- [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
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUJ3-0003-0052