NDLI: Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process

Content Provider	IEEE Xplore Digital Library
Author	Balsamo, S. Marin, A.
Copyright Year	2009
Description	Author affiliation: Computer science department, Università Ca' Foscari di Venezia, via Torino, 155 Venice, Italy (Balsamo, S.; Marin, A.)
Abstract	In this paper we study product-form conditions for Generalized Stochastic Petri Net models. We base our results on the Reversed Compound Agent Theorem (RCAT) that has been recently formulated in the stochastic process algebra research field. In previous works, we defined finite structured GSPN models equivalent to BCMP service stations. In this paper we prove the conditions under which it is possible to combine those GSPN models with other ones whose underlying stochastic processes satisfy RCAT conditions. Finally, we present a practical application which exhibits a product-form solution based on these new results and previous ones which were based on the M ⇒ M property. From a theoretical point of view, the results point out new relations among product-form model classes. As a practical consequence we have a possible definition of a hybrid formalism modelling tool that can identify product-forms.
Starting Page	808
Ending Page	815
File Size	413841
Page Count	8
File Format	PDF
ISBN	9781424438075
DOI	10.1109/AICCSA.2009.5069421
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-05-10
Publisher Place	Morocco
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Steady-state Stochastic processes Petri nets Computer science Markov processes Concurrent computing Stochastic systems Performance evaluation Algebra Random variables Markov chains Generalized Stochastic Petri Nets product-form solutions BCMP queueing networks
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

On the relations between BCMP queueing networks and product form solution stochastic petri nets

A comparison of performance evaluation process algebra and generalized stochastic Petri nets

Combining generalized stochastic Petri nets and PERT networks for the performance evaluation of concurrent processes

Computational algorithms for product-form of competing Markov chains

Product form queueing petri nets: a combination of product form queueing networks and product form stochastic petri nets (1994).

Performance analysis of stochastic timed Petri nets

From BCMP Queueing Networks to Generalized Stochastic Petri Nets: An Algorithm and an Equivalence Definition (2008)

Generalization of queueing network product form solutions to stochastic Petri nets

Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets

Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process

Similar Documents

On the relations between BCMP queueing networks and product form solution stochastic petri nets

A comparison of performance evaluation process algebra and generalized stochastic Petri nets

Combining generalized stochastic Petri nets and PERT networks for the performance evaluation of concurrent processes

Computational algorithms for product-form of competing Markov chains

Product form queueing petri nets: a combination of product form queueing networks and product form stochastic petri nets (1994).

Performance analysis of stochastic timed Petri nets

From BCMP Queueing Networks to Generalized Stochastic Petri Nets: An Algorithm and an Equivalence Definition (2008)

Generalization of queueing network product form solutions to stochastic Petri nets

Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets

Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process