Nondeterminism in Stochastic Modeling

Daulet Turetayev

    Research output: Book/ReportReportOther research output

    42 Downloads (Pure)


    This paper is devoted to the notion nondeterminism in general and particularly in stochastic modeling. It discusses how stochastic modeling formalisms can be mapped to a corresponding configuration graph which is convenient for the investigation of nondeterminism phenomena. Algorithms for mapping stochastic models onto configuration graphs are introduced, and two approaches ¿ well-specified check and weak bisimulation ¿ for eliminating nondeterminism are reviewed and related.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages25
    Publication statusPublished - Aug 2003

    Publication series

    NameCTIT technical report series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)


    • IR-56965
    • EWI-5813

    Cite this