In: International Journal of System Sciences, Vol. 30, No. 11, pages 187-192. 1999.
Abstract: This paper studies realizable firing time sequences under supervisory control in the max-algebra model of timed event graphs. A specification is assumed to be assumed to be defined on firing times of a specified subset of transitions. Such a specification is called a partial specification. A necessary an sufficient condition for a partial specification to be realizable is presented under the assumption that all controllable transitions are in the the specifies subset. For a net realizable partial specification, the external realizable sequences are obtained as its approximation.
Keywords: max-algebra, partial specifications, supervisory control, timed event graphs.