Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: semi-commutation

Sortuj według:

Ogranicz wyniki do:

Regular morphisms on semicommutations

Ochmański E.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

1998

nr 850

3-16

Each semicommutation (A, q) determines the class REG (A) - the family of all q-closed and regular subsets of A*. Let (A, q) and B, g) be two semicommutations. A morphism f:A*->B* is said to be regular if and only if f (f(L)) REG (B) whenever L REG (A). A characterization of regular semicommutations (the case A=B and f=id) was given in [OW93]. In this paper we prove regularity of some special class of morphism - path-preserving morphisms. Using this result and the former characterization of regular semicommutations we obtain a criterion of regularity for the class of injective morphisms. Finally, we prove quite weak sufficient condition of regularity for arbitrary morphisms. We do not know, if the condition is also a necessary one.

Każda półprzemienność (A, q) wyznacza klasę REG (A) - rodzinę wszystkich q-domkniętych i regularnych podzbiorów A*. Jeśli (A, q) i (B, g) są dwoma półprzemiennościami, to morfizm f:A*->B* nazywamy regularnym wtedy i tylko wtedy, gdy dla każdego L REG (A) domknięcie jego obrazu f (f(L)) należy do REG (B). Przypadek regularnych półprzemienności (A=B i f=id) został scharakteryzowany w [OW93]. W tej pracy pokazujemy regularność pewnej szczególnej klasy morfizmów, mianowicie morfizmów zachowujących ścieżki zależności. Wynik ten, w połączeniu ze wzmiankowaną wyżej charakteryzacją regularnych półprzemienności, pozwala sformułować i udowodnić kryterium regularności dla morfizmów różnowartościowych. Na zakończenie pokazujemy pewien warunek wystarczający dla regularności morfizmów. Pozostaje pytaniem otwartym, czy warunek ten jest również konieczny.

Petri nets with weak conflicts : a proposal of classification

Ochmański E.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

1998

nr 866

3-22

The paper deals with theoretical aspects of some practical problems about Petri nets: how to avoid conflicts and when is it possible? We are studying the class of Petri nets, which can be implemented without an external conflict resolving supervisor. Such nets are named weakly conflicting, and conflicts appearing in them are said to be weak. We investigate properties of nets, with respect to conflicts, and propose a classification of them. Then we prove the proposed classes of nets form a partially ordered hierarchy.

Praca zajmuje się teoretycznymi aspektami pewnych praktycznych problemów dotyczących sieci Petriego: jak unikać konfliktów i kiedy jest to możliwe? Badamy klasę sieci, które mogą być implementowane bez mechanizmu rozstrzygającego konflikty. Sieci takie nazywamy słabo konfliktowymi, a konflikty w nich występujące słabymi konfliktami. Badamy własności sieci względem konfliktów i proponujemy pewną ich klasyfikację. Dowodzimy, że zdefiniowane klasy sieci tworzą częściowo uporządkowaną hierarchię.