Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

QEST
2009
IEEE

favoriteEmaildiscussreport

127views Modeling and Simulation» more QEST 2009»

Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality

13 years 11 months ago

Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality

Download www.draw-net.com

Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modeling framework. The tool supports the computation of metric bounds such as system throughput and task completion time. It provides also exporting facilities toward GreatSPN and TINA tools. In this paper, we present the old and the newly added functionalities of ITPN-PerfBound. Keywords-Interval Time Petri Net (ITPN), performance bound analysis, tool inter-operability.

Elina Pacini Naumovich, Simona Bernardi

Real-time Traffic

DrawNET Modeling Framework | Performance Bound Analysis | QEST 2009 | Quantitative Evaluation Of Systems | Time Petri Net |

claim paper

Related Content

» New Bounds on the OBDDSize of Integer Multiplication via Universal Hashing

» SafeResynth A new technique for physical synthesis

» Effective Lower Bounding Techniques for PseudoBoolean Optimization

» Improving the Quality of Bounded Model Checking by Means of Coverage Estimation

» A new enhanced constructive decomposition and mapping algorithm

» Optimal Distance Bounds on TimeSeries Data

» Supporting high performance bioinformatics flatfile data processing using indices

» FiniteTime Bounds for Fitted Value Iteration

» Shape Derivative of Drag Functional

Post Info
More Details (n/a)

Added	21 May 2010
Updated	21 May 2010
Type	Conference
Year	2009
Where	QEST
Authors	Elina Pacini Naumovich, Simona Bernardi

Comments (0)