Построение ортомодулярных решеток первичных структур событий
Автор: Вирбицкайте Ирина Бонавентуровна, Ерофеев Евгений Константинович
Журнал: Проблемы информатики @problem-info
Рубрика: Системная информатика
Статья в выпуске: 2 (14), 2012 года.
Бесплатный доступ
Изучены взаимосвязи базовых отношений (причинной зависимости, параллелизма, альтернативного выбора (конфликта)) между событиями параллельных систем, представленных моделями первичных структур событий. В~частности, предложены и исследованы техники построения ортомодулярных решеток (комбинаторного представления пространства-времени) конфигураций (вычислений) структур событий.
Структуры событий, конфигурации, решетки, ортомодулярность
Короткий адрес: https://sciup.org/14320119
IDR: 14320119
Список литературы Построение ортомодулярных решеток первичных структур событий
- Petri C. Concurrency as a basis for system thinking/St. Augustin: Gesellschaft f\"{u}r Mathematik und Detenverarbeitung. ISP-Rep. 1978. V.~78, N~06.
- Best E.} The relative strength of K-density//Lecture Notes Comput. Sci. 1980. V.~84. P.~261-276.
- Best E.} A theorem on the characteristics of non-sequential processes//Fund. Inform. 1980. V.~3. P.~77-94.
- Fernandez C., Thiagarajan P. S.} D-continuous causal nets: A model of non-sequential processes//Theoret. Comput. Sci. 1984. V.~28. P.~171-196.
- Kummer O., Stehr M.-O.} Petri's axioms of concurrency -a selection of recent results//Lecture Notes Comput. Sci. 1997. V.~1248. P.~195-214.
- Best E., Fernandez C., Pl\"{u}nnecke H.} Concurrent systems and processes./GMD, Sankt Augustin, FDR. Final Report on the Foundational Part of the Project BEGRUND. FMP-Studien. 1985. V.~107.
- Pl\"unnecke H.} K-density, N-density and finiteness properties//Lecture Notes Comput. Sci. 1984. V.~188. P.~392-412.
- Cherkasova L. A., Kotov V. E.} Descriptive and analytical process algebras//Lecture Notes Comput. Sci. 1989. V.~424. P.~77-104.
- Virbitskaite I.} Some characteristics of nondeterministic processes//Parallel Proc. Lett. 1993. V.~3, N~1. P.~99-106.
- Virbitskaite I., Bozhenkova E.} Unified characterization of some properties of event structures//RISC-Linz Report Series. 1994. V.~94-48. P.~29-32.
- Bernardinello L., Pomello L., Rombola S.} Closure operators and lattices derived from concurrency in posets and occurrence nets//Fund. Inform. 2010. V.~105, N~3. P.~211-235.
- Nielsen M., Plotkin G., Winskel G.} Petri nets, event structures and domains//Theor. Comput. Sci. 1981. V.~13, N~1. P.~85-108.
- Winskel G.} Events in computation: PhD thesis. Edinburgh, 1980.
- Darondeau Ph., Degano P.} Event structures, causal trees, and refinement//Lecture Notes Comput. Sci. 1990. V.~452. P.~239-245.
- Биркгоф Г.} Теория решеток. М.: Наука, 1984.
- Kalmbach G.} Orthomodular lattice. N. Y.: Academ. Press, 1983.
- Nielsen M., Rozenberg G., Thiagarajan P. S.} Behavioural notions for elementary net systems//Distributed Comput. 1990. V.~4, N~1. P.~45-57.
Статья научная
