PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Czasopismo
2009 | 9 | 53-64
Tytuł artykułu

FORMAL DESCRIPTION OF TEMPORALITY (PETRI NET APPROACH)

Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In the paper two methods of representing temporal dependencies expressed in natural languages are given. The first one, introduced by H. Reichenbach in 1948, is based on a linear representation of time, with events represented by points on the time scale. The second one is based on a net representation of states, events, and their succession introduced by C. A.Petri in 1962. The main difference between these two approaches consists in accepting by nets (i) partial ordering of events and states rather than their linear ordering, hence accepting their mutual independence, and (ii) a possibility of representing coexisting as well as mutually excluding states, hence accepting different histories in one model. Reichenbach's representation can be viewed as a particular case of the Petri net one. Both representations use graphical means for modeling temporal phenomena.
Słowa kluczowe
Czasopismo
Rocznik
Numer
9
Strony
53-64
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • Antoni Mazurkiewicz, Instytut Podstaw Informatyki PAN, ul. Ordona 21, 01-237 Warszawa,. Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
10PLAAAA077416
Identyfikator YADDA
bwmeta1.element.45728132-c112-334e-9436-f7c3f9b6f115
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ć.