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

    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