Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: 2-structure

Sortuj według:

Ogranicz wyniki do:

Regular Orthomodular Posets

Borzyszkowski Andrzej M.

Fundamenta Informaticae

2019

Vol. 166, nr 1

15--28

Rozenberg and Ehrenfeucht has shown a duality between 2-structures (a.k.a. transition systems) and (elementary) Petri nets. The tool has been the notion of a region of a 2-structure, the regions then define a Petri net. Bernardinello et al. has observed that the regions of a 2-structure form an orthomodular poset and there is a similar relation between 2-structures and orthomodular posets. While in the theory of 2-structures we may ask if a 2-structure is full and forward closed, the analogous notion for orthomodular posets is their regularity. In the present paper we study the problem of closing a given orthomodular poset to a regular one. This is a dual problem to closing a 2-structure, which has been studied by the author earlier. Also, as in a seminal work of Rozenberg and Ehrenfeucht, one can be interested in a concrete representation, i.e. as a family of sets. We show here an appropriate construction for orthomodular posets too.