Generalized algebraic structures for the representation of discrete systems (Q1386502): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q587477 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Bohumil František Šmarda / rank | |||
Normal rank |
Revision as of 09:04, 16 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalized algebraic structures for the representation of discrete systems |
scientific article |
Statements
Generalized algebraic structures for the representation of discrete systems (English)
0 references
24 May 1998
0 references
The authors develop algebraic structures appropriate for the representation of a wide range of discrete systems; namely, an abelian monoid and a commutative ring whose elements can be associated with discrete systems. They describe expressions for elements of these structures, conditions under which representations of systems are valid and show the uniqueness of the representation. These structures are specialized to obtain representations for finite-state machines, Petri nets and inhibitor nets. The authors give examples of representations for each type of systems.
0 references
discrete systems
0 references
abelian monoid
0 references
commutative ring
0 references
representations of systems
0 references
finite-state machines
0 references
Petri nets
0 references