Efficient Modelling and Generation of Markov Automata

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    28 Citations (Scopus)
    57 Downloads (Pure)


    This presentation introduces a process-algebraic framework with data for modelling and generating Markov automata. We show how an existing linearisation procedure for process-algebraic representations of probabilistic automata can be reused to transform systems in our new framework to a special format. This format enables easy state space generation and facilitates the definition of syntactic reduction techniques. We introduce several such techniques, which treat data as well as Markovian and interactive behaviour in a fully symbolic manner. In this way, reductions are obtained on the specification level instead of the model level, reducing state spaces prior to their construction.
    Original languageUndefined
    Title of host publication10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012
    Place of PublicationPisa
    PublisherIstituto di Scienza e Tecnologie dell'Informazione
    Number of pages4
    ISBN (Print)not assigned
    Publication statusPublished - 31 Mar 2012

    Publication series

    PublisherIstituto di Scienza e Tecnologie dell'Informazione


    • METIS-286342
    • IR-80432
    • Markov Automata
    • EWI-21804
    • Efficient state space generation
    • Process Algebra
    • Symbolic transformations

    Cite this