HiQPN-Tool

Overview

Entry last updated: 2003/5/2
Entry last validated: 2004/5/17

Tool homepage: http://ls4-www.informatik.uni-dortmund.de/QPN/

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology)

High-level Petri Nets
Stochastic Petri Nets

Components (see also help on terminology)

Graphical Editor
Token Game Animation
State Spaces
Place Invariants
Transition Invariants
Advanced Performance Analysis
Interchange File Format

Environments

Tool Description

HiQPN-Tool is a tool to specify and analyze Hierarchically combined Queueing Petri nets (HQPNs), a class of combined Petri net and queueing network modeling formalisms.

HiQPN-Tool supports a hierarchical model specification in combination with qualitative and quantitative (performance) analysis, which massively profits from the hierarchical specification.

Contact Information

Informatik IV
University of Dortmund
D-44221 Dortmund
Germany

Phone:  +49 231-755-4893
Fax:    +49 231-755-4730
E-mail: bause@ls4.informatik.uni-dortmund.de

Other Remarks

The maintainers of this page