Username   Password       Forgot your password?  Forgot your username? 

ISSUES BY YEAR

Volume 8 - 2012

No.1 January 2012
No.2 March 2012
No.3 May 2012

Volume 7 - 2011

No.1 January 2011
No.2 March 2011
No.3 May 2011
No.4 July 2011
No.5 September 2011
No.6 November 2011

Volume 6 - 2010

No.1 January 2010
No.2 March 2010
No.3 May 2010
No.4 July 2010
No.5 September 2010
No.6 November 2010

Volume 5 - 2009

No.1 January 2009
No.2 January 2009
No.3 April 2009
No.4 July 2009
No.5 October 2009

Volume 4 - 2008

No.1 January 2008
No.2 April 2008
No.3 July 2008
No.4 October 2008

Volume 3 - 2007

No.1 January 2007
No.2 April 2007
No.3 July 2007
No.4 October 2007

Volume 2 - 2006

No.1 January 2006
No.2 April 2006
No.3 July 2006
No.4 October 2006

Volume 1 - 2005

No.1 July 2005
No.2 October 2005

 

MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets

Volume 7, Number 5, September 2011 - Paper 2 - pp. 417-428

MARCO BECCUTI1, GIULIANA FRANCESCHINIS2  AND SERGE HADDAD3

1 Univ. di Torino, Italy
2 Univ.del Piemonte Orientale, Italy
3 LSV, ENS Cachan, France

(Received on December 02, 2010 and revised on March 22, 2011)


Abstract:

MDWNsolver is a framework for system modeling and optimization of performability measures based on Markov Decision Petri Net (MDPN) and Markov Decision Well-formed Net (MDWN) formalisms, two Petri Net extensions for  high level specification of Markov Decision Processes (MDP). It is integrated  in the GreatSPN suite which provides a GUI to design MDPN/MDWN models. From the analysis point  of view, MDWNsolver uses efficient algorithms that take advantage of system symmetries, thus reducing  the analysis complexity. In this paper the MDWNsolver framework features and architecture are presented, and some application examples are discussed.

 

References: 16

 

Please note : You will need Adobe Acrobat viewer to view the full articles.Get Free Adobe Reader
 

Important Access Information

Individuals, Institutions and Corporations with access via userid and password:

If you have a valid userid and password, you will need to login at the top of the screen. All volumes that are authorized by your subscription will be available for download. If you are not authorized, you will see an 'add to cart' option and you have the choice of purchasing the articles. You may also apply for subscription from our Subscription page.

 

If you cannot access any paper and you feel your subscription entitles you to access, please notify us by using the contact form on the Contact Us page. Please provide as much detail as possible.

 

Institutions and Corporations with access via IP addresses:

If you have a subscription via IP addresses, all volumes that are authorized by your subscription will be available for download. If you are not authorized, you will see an 'add to cart' option and you have the choice of purchasing the articles. You may also apply for subscription from our Subscription page.

 

If you cannot access any paper and you feel your subscription entitles you to access, please verify that the EXTERNAL IP address of your computer is authorized. Before contacting us, contact your system administrator and confirm if the IP address of your network has been authorized for access. To find out the EXTERNAL IP address of your network, simply open any Internet browser and point it to : http://www.WhatIsMyIP.com. Your EXTERNAL IP address will be shown in the browser window.

 

Once you have this information, you may email us using the contact form on the Contact Us page. Please provide as much detail as possible. You may also email a screenshot of the browser to :subscriptions@IJPE-Online.com

 

Thank you for your understanding. We will try our best to reply within 24-48 hours.

CURRENT ISSUE