#header-inner {background-position: right !important; width: 100% !important;}


Elementary Net Systems Introduction.

Basic System Description.

in Elementary Net Systems, a net represents the underlying static structure of a distributed system with:

- S-Elements representing conditions (local states),
- T-Elements representing events (local actions, transitions),
- F representing neighbourhood relations (flow). F ⊆ (S x T) ∪ (T x S).

case is: 'conditions holding concurrently',
step is: 'events occuring concurrently'.

(to be continued, perhaps).

See also: [6], Petri Nets.

No comments:

Post a Comment