Wyniki wyszukiwania - BazTech

Ograniczanie wyników

3 Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

3 Winkowski J.

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: stany

Sortuj według:

Ogranicz wyniki do:

Multiplicative Transition Systems

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2010

Nr 1018

1-29

The paper is concerned with algebras whose elements can be used to represent runs of a system from a state to a state. These algebras, called multiplicative transition systems, are categories with respect to a partial binary operation called composition. They can be characterized by axioms such that their elements and operations can be represented by partially ordered multisets of a certain type and operations on such multisets. The representation can be obtained without assuming a discrete nature of represented elements. In particular, it remains valid for systems with innitely divisible elements, and thus also for systems with elements which can represent continuous and partially continuous runs.

Praca dotyczy algebr, których elementy mogą być użyte do reprezentowania przebiegów dowolnego systemu od stanu do stanu. Te algebry, zwane multyplikatywnymi systemami tranzycyjnymi, są kategoriami ze względu na częściową operację binarną zwaną składaniem. Można je scharakteryzować aksjomatami tak, że ich elementy i operację składania można reprezentować częściowo uporządkowanymi wielozbiorami pewnego typu i operacją składania takich wielozbiorów. Taką reprezentację można otrzymać bez zakładania dyskretności reprezentowanych elementów. W szczególności jest ona możliwa dla systemów o nieskończenie podzielnych elementach, a więc i dla systemów których elementy mogą reprezentować przebiegi ciągłe i częściowo ciągłe.

Towards a Framework for Modelling Behaviours of Hybrid Systems

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2007

Nr 1002

1-31

The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global time independent way and can possibly be obtained by composing seąuentially and in parallel other processes.

Praca dotyczy opisywania systemów hybrydowych poprzez definiowanie przebiegów ich działania zwanych procesami, gdzie procesy są reprezentowane strukturami częściowo uporządkowanymi i mog^ być definiowane przez szeregowe i równoległe składanie wcześniej zdefiniowanych procesów.

An axiomatic characterization of algebras of processes of Petri Nets

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2005

Nr 987

1-19

Praca dotyczy algebr, które można otrzymać przez wyposażenie zbiorów procesów sieci Petriego w składanie sekwencyjne i równoległe. Rozważane algebry są kategoriami z dodatkową strukturą i z dodatkowymi własnościami. Dowodzi się, że wszystkie struktury algebraiczne o takich własnościach dają się przedstawiać jako algebry procesów sieci Petriego.