Modelling and Performance Analysis of Cyclic Systems by Unknown

Author:Unknown
Language: eng
Format: epub
ISBN: 9783030276522
Publisher: Springer International Publishing

A 4-tuple , specifies the parameters of a particular MMRS and gives its static abstraction. A dynamic model of MMRS can be developed using the formalism of the Deterministic Finite State Automaton (DFSA) [2], defined as follows.

Definition 5.4

A deterministic finite state automaton (DFSA) is a 6-tuple , where:S is the (finite) set of states.

E is the (finite) set of events.

is the active-event function. Event can occur in state iff .

is the (partial) transition function, defined for pairs (s, e) such that . returns the state that results from the occurrence of event e in state s.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.