| 2/2001 - 7 |
VPNP - Software Tool for Modelling and Performance Evaluation Using Generalised Stochastic Petri NetsEmilian GUTULEAC, Constantin BOSNEAGA, Andrei REILEAN |
Extra paper information in    |
Click to see author's profile in  SCOPUS,  IEEE Xplore,  Web of Science |
| Not available online | Views: 1,360 |
Author keywords
software tool, modeling, performance evaluation, stochastic, Petri nets
References keywords
References keywords will be displayed on the next page reload.
About this article
Date of Publication: 2001-04-02
Volume 1, Issue 2, Year 2001, On page(s): 37 - 42
ISSN: 1582-7445, e-ISSN: 1844-7600
Digital Object Identifier: Not assigned
Abstract
Petri nets are a formal tool very well suited to the description of distributed and concurrent systems which exhibit synchronization and contention for shared resources. Adding random temporal specifications to Petri nets, stochastic Petri nets are obtained from which event driven simulators can be automatically constructed. This paper describes the software tool VPNP for the modeling and performability evaluation of the technical system using generalized stochastic Petri nets. A modeling tool that has been developed for these purposes is illustrated with an emphasis on the modeling environment it provides and on its internal software architecture. |
| References | | | Cited By |
On-line references are not available - see the PDF file if available.
Copyright ©2001-2024
Faculty of Electrical Engineering and Computer Science
Stefan cel Mare University of Suceava, Romania
All rights reserved: Advances in Electrical and Computer Engineering is a registered trademark of the Stefan cel Mare University of Suceava. No part of this publication may be reproduced, stored in a retrieval system, photocopied, recorded or archived, without the written permission from the Editor. When authors submit their papers for publication, they agree that the copyright for their article be transferred to the Faculty of Electrical Engineering and Computer Science, Stefan cel Mare University of Suceava, Romania, if and only if the articles are accepted for publication. The copyright covers the exclusive rights to reproduce and distribute the article, including reprints and translations.
Permission for other use: The copyright owner's consent does not extend to copying for general distribution, for promotion, for creating new works, or for resale. Specific written permission must be obtained from the Editor for such copying. Direct linking to files hosted on this website is strictly prohibited.
Disclaimer: Whilst every effort is made by the publishers and editorial board to see that no inaccurate or misleading data, opinions or statements appear in this journal, they wish to make it clear that all information and opinions formulated in the articles, as well as linguistic accuracy, are the sole responsibility of the author.
Faculty of Electrical Engineering and Computer Science
Stefan cel Mare University of Suceava, Romania
All rights reserved: Advances in Electrical and Computer Engineering is a registered trademark of the Stefan cel Mare University of Suceava. No part of this publication may be reproduced, stored in a retrieval system, photocopied, recorded or archived, without the written permission from the Editor. When authors submit their papers for publication, they agree that the copyright for their article be transferred to the Faculty of Electrical Engineering and Computer Science, Stefan cel Mare University of Suceava, Romania, if and only if the articles are accepted for publication. The copyright covers the exclusive rights to reproduce and distribute the article, including reprints and translations.
Permission for other use: The copyright owner's consent does not extend to copying for general distribution, for promotion, for creating new works, or for resale. Specific written permission must be obtained from the Editor for such copying. Direct linking to files hosted on this website is strictly prohibited.
Disclaimer: Whilst every effort is made by the publishers and editorial board to see that no inaccurate or misleading data, opinions or statements appear in this journal, they wish to make it clear that all information and opinions formulated in the articles, as well as linguistic accuracy, are the sole responsibility of the author.
