piwik-script

Intern
    Chair of Computer Science II - Software Engineering

    QPME Features

    If you have a suggestion for how to improve or enhance QPME in directions not covered by the features below, please file a feature request in our feature request tracker.

    Currently Supported Features (v2.00)

    Model Analysis Methods

       

    • Discrete Event Simulation (SimQPN)
      • Method of non-overlapping batch means
      • Method of independent replications (replication/deletion approach)
      • Method of Welch for estimating the length of the initial transient
    •  

    • Support for simulating hierarchical QPNs (HQPNs)
    •  

    Reported Metrics

       

    • Token throughput (arrival and departure rates)
    •  

    • Minimum/maximum number of tokens
    •  

    • Average number of tokens
    •  

    • Token color occupancy
    •  

    • Queue utilization
    •  

    • Minimum/maximum observed token residence time
    •  

    • Mean and standard deviation of observed token residence times
    •  

    • Confidence interval for the steady state mean token residence time
    •  

    • Custom probes for observing token residence times across multiple places
    •  

    • Histogram of observed token residence times
    •  

    • Interface to the statistical tool R for further statistical analysis
    •  

    Results Visualization

       

    • Tabular data
    •  

    • Bar charts
    •  

    • Pie charts
    •  

    • Histograms
    •  

    Supported Queueing Disciplines

       

    • First-Come-First-Served (FCFS)
    •  

    • Processor-Sharing (PS)
    •  

    • Infinite Server (IS)
    •  

    Supported Service-time Distributions for Queues

       

    • Beta
    •  

    • BreitWigner
    •  

    • BreitWignerMeanSquare
    •  

    • ChiSquare
    •  

    • Gamma
    •  

    • Hyperbolic
    •  

    • Exponential
    •  

    • ExponentialPower
    •  

    • Logarithmic
    •  

    • Normal
    •  

    • StudentT
    •  

    • Uniform
    •  

    • VonMises
    •  

    • Empirical
    •  

    • Deterministic
    •  

    Supported Extensions to Standard QPNs

       

    • Global QPN-wide list of token colors
    •  

    • Distinction of firing weights at the transition level from the firing mode level
    •  

    • First-In-First-Out (FIFO) token departure discipline for places
    •  

    • Possibility to share queues among multiple queueing places
    •  

    Features Under Development

    Model Analysis Methods

       

    • Further techniques for simulation output data analysis
      • Spectral analysis
      • Standardized time series
    •  

    • Further variance reduction techniques
    •  

    • Further methods for estimating the length of the initial transient (warm-up period)
    •  

    Planned Future Extensions

    Model Expressiveness

       

    • Load-dependent service times (resource demands)
    •  

    • Further scheduling strategies for queues (e.g., GPS, Priority)
    •  

    • Transition priorities and inhibitor arcs
    •  

    • Timed transitions and immediate queueing places
    •  

    Model Analysis Methods

       

    • Support for parallel/distributed simulation
    •  

    • Support for analytical solution techniques
      • Structured analysis techniques (e.g., structured SOR, structured JOR)
      • Product-form solution techniques
      • Approximation techniques
    •  

    • Support for tolerance limits
    •  

    Change Logs

    Hinweis zum Datenschutz

    Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Facebook weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.

    Hinweis zum Datenschutz

    Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Twitter weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.

    Kontakt

    Lehrstuhl für Informatik II (Software Engineering)
    Am Hubland
    97074 Würzburg

    Tel.: +49 931 31-86601
    E-Mail

    Suche Ansprechpartner

    Hubland Süd, Geb. M2