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: , Petri Nets.