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

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

Журнал: Проблемы информатики @problem-info

Рубрика: Системная информатика

Статья в выпуске: 2 (14), 2012 года.

Бесплатный доступ

Изучены взаимосвязи базовых отношений (причинной зависимости, параллелизма, альтернативного выбора (конфликта)) между событиями параллельных систем, представленных моделями первичных структур событий. В~частности, предложены и исследованы техники построения ортомодулярных решеток (комбинаторного представления пространства-времени) конфигураций (вычислений) структур событий.

Структуры событий, конфигурации, решетки, ортомодулярность

Короткий адрес: https://readera.ru/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.
Еще
Статья научная