CY - Warszawa
A1 - Winkowski, Józef
KW - Transition systems
KW - transitions
KW - posets
KW - partial category
KW - lposets
KW - pomsets
T1 - Multiplicative transition systems
PY - 2010
N2 - The paper is concerned with algebras whose elements can be used to rep-resent runs of a system. These algebras, called multiplicative transitionsystems, are partial categories with respect to a partial binary operationcalled multiplication. They can be characterized by axioms such that theirelements and operations can be represented by partially ordered multisetsof a certain type and operations on such multisets. The representation canbe obtained without assuming a discrete nature of represented elements.In particular, it remains valid for systems with in nitely divisible elements,and thus also for systems with elements which can represent continuous andpartially continuous runs.
PB - Instytut Podstaw Informatyki PAN
T2 - Multiplikatywne systemy tranzycyjne