Scribd Logo
Upload

Welcome to Scribd!

  • Readme

    Uploaded by

    Hector
    2 views1 page
    Functional transition rates and functional arc weights. New feature: infinite-server semantics. Bug fixing: state space exploration bug; Import from eDSPN file bug temporal fix; deleting Petri net component.

    Original Description:

    Copyright

    © © All Rights Reserved

    Available Formats

    TXT, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    Functional transition rates and functional arc weights. New feature: infinite-server semantics. Bug fixing: state space exploration bug; Import from eDSPN file bug temporal fix; deleting Petri net component.

    Copyright:

    © All Rights Reserved
    Download as TXT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    2 views1 page

    Readme

    Uploaded by

    Hector
    Functional transition rates and functional arc weights. New feature: infinite-server semantics. Bug fixing: state space exploration bug; Import from eDSPN file bug temporal fix; deleting Petri net component.

    Copyright:

    © All Rights Reserved
    Download as TXT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    Functionality enhancement:

    Functional transition rates and functional arc weights.


    New feature: Infinite-server semantics.
    Bug fixing:
    state space exploration bug;
    Import from eDSPN file bug temporal fix;
    deleting Petri net component bug.

    You might also like