Zum Inhalt springen

  1. Rohr, Christian [VerfasserIn] ; Heiner, Monika [Sonstige Person, Familie und Körperschaft]; Marwan, Wolfgang [Sonstige Person, Familie und Körperschaft]; Gilbert, David [Sonstige Person, Familie und Körperschaft]

    Simulative analysis of coloured extended stochastic Petri nets

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cottbus: BTU Cottbus - Senftenberg, 2017

  2. Rohr, Christian

    Transactions on Petri Nets and Other Models of Concurrency VIII: Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2013

    Erschienen in: Transactions on Petri Nets and Other Models of Concurrency VIII