• DocumentCode
    1948514
  • Title

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

  • Author

    Naumovich, Elina Pacini ; Bernardi, Simona

  • Author_Institution
    Dipt. di Inf., Univ. di Torino, Turin, Italy
  • fYear
    2009
  • fDate
    13-16 Sept. 2009
  • Firstpage
    285
  • Lastpage
    286
  • 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
    Petri nets; drawnet modeling framework; graphical tool; interval time Petri net; performance bound analysis; task completion time; Character generation; Filters; Frequency; Helium; Linear programming; Performance analysis; Petri nets; Throughput; Timing; Usability; Interval Time Petri Net (ITPN); performance bound analysis; tool inter-operability;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
  • Conference_Location
    Budapest
  • Print_ISBN
    978-0-7695-3808-2
  • Type

    conf

  • DOI
    10.1109/QEST.2009.39
  • Filename
    5290663
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1948514