NDLI: On bounds for token probabilities in a class of generalized stochastic Petri nets

Please wait, while we are loading the content...

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.

Proceedings 9th International Workshop on Petri Nets and Performance Models

Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models

Proceedings 6th International Workshop on Petri Nets and Performance Models

Proceedings of 5th International Workshop on Petri Nets and Performance Models

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91

Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89

Petri net modeling-the past, the present, and the future

Aggregation methods in exact performance analysis of stochastic Petri nets

GSPN models of multiserver multiqueue systems

Matrix product form solution for closed synchronized queuing networks

Aggregation of states in colored stochastic Petri nets: application to a multiprocessor architecture

Colored GSPN models and automatic symmetry detection

Extensions to coloured Petri nets

Reduced base model construction methods for stochastic activity networks

The cost of eliminating vanishing markings from generalized stochastic Petri nets

Automated construction of compound Markov chains from generalized stochastic high-level Petri nets

Performance evaluation of job operation flows in computer systems by timed Petri nets

Stochastic Petri net modeling of VAXcluster system availability

Modeling of FMS under certainty using stochastic Petri nets-an application to rule-based on-line scheduling

Logic simulation with interval-labelled net model

SPNP: stochastic Petri net package

A simulation model of a uniform interface for layered protocol architectures

Many-sorted high-level nets

Performance evaluation using unbounded timed Petri nets

Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets

Tight polynomial bounds for steady-state performance of marked graphs

Properties and steady-state performance bounds for Petri nets with unique repetitive firing count vector

On bounds for token probabilities in a class of generalized stochastic Petri nets

On the pertinence of the extended time Petri net model for analyzing communication activities

Performability analysis of parallel and distributed algorithms

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

A class of Petri nets and a reachability problem solvable in deterministic polynomial time

The algorithm of a synthesis technique for concurrent systems

Legal firing sequence and related problems of Petri nets

Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM89) (Cat. No.89TH0288-1)

On bounds for token probabilities in a class of generalized stochastic Petri nets

Content Provider	IEEE Xplore Digital Library
Author	Islam, S.M.R. Ammar, H.H.
Copyright Year	1989
Description	Author affiliation: Dept. of Electr. & Comput. Eng., Clarkson Univ., Potsdam, NY, USA (Islam, S.M.R.; Ammar, H.H.)
Abstract	Methods are presented for computing tight bounds for steady-state token probabilities of a class of generalized stochastic net (GSPN) models. Such bounds also give a better estimate of the error produced when decompositions and aggregations are used to compute the various performance measures. First a method is described to compute the best lower and upper bounds for conditional token probabilities of a class of GSPN when only the subsequent is considered. The authors show that such bounds can be improved if additional information about other subnets is available. They extend the technique and outline an algorithm to compute the bounds for error due to aggregation and decomposition at the GSPN level. An example is presented to illustrate the technique and algorithm.
Starting Page	221
Ending Page	227
File Size	548925
Page Count	7
File Format	PDF
DOI	10.1109/PNPM.1989.68555
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1989-12-11
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Stochastic processes Petri nets Steady-state Stochastic systems Power system modeling Throughput Equations Delay estimation Computer errors Upper bound
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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