PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  interchange of tables
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Process of contextual nets and their characteristics
Winkowski J.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
1998
|
nr 847
3-37
PL
Rozważane są uogólnione sieci Petriego zwane sieciami kontekstowymi i procesy takich sieci. Procesy sieci kontekstowych są definiowane jako porządki częściowe z pewna dodatkową strukturą. Definiuje się operacje składania procesów tak, że każdy proces sieci kontekstowej można otrzymać składając procesy odpowiadające miejscom i tranzycjom tej sieci. Definiuje się podobne do macierzy i zwane tablicami charakterystyki procesów i operacje składania tych charakterystyk tak, że odpowiedniość między procesami i charakterystykami jest homomorfizmem.
EN
Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered. Processes of contextual nets are represented as partial orders with some extra structure. Operations of composing processes are defined such that each process of a contextual net can be obtained by combining processes corresponding to places and transitions of this net. Matrix-like characteristics of processes, called tables, and natural operations on such characteristics are defined such that the correspondence between processes and their characteristics is a homomorphism.
2
Content available remote Processes of contextual nets and their characteristics
Winkowski J.
Fundamenta Informaticae
|
1998
|
Vol. 36, nr 1
71-101
EN
Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered. Processes of contextual nets are represented as partial orders with some extra structure. Operations of composing processes are defined such that each process of a contextual net can be obtained by combining processes corresponding to places and transitions of this net. Matrix-like characteristics of processes, called tables, and natural operations on such characteristics are defined such that the correspondence between processes and their characteristics is a homomorphism.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.