Построение ортомодулярных решеток первичных структур событий

Автор: Вирбицкайте Ирина Бонавентуровна, Ерофеев Евгений Константинович

Журнал: Проблемы информатики @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.

Еще

Статья научная