NDLI: Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory

Content Provider	Springer Nature Link
Author	Li, Ran Reveliotis, Spyros
Copyright Year	2015
Abstract	In a recent work we have proposed a theoretical framework for developing optimized scheduling policies for complex resource allocation systems (RAS). This framework relies heavily on the expression of the RAS dynamics in the modeling framework of the Generalized Stochastic Petri Nets (GSPNs), and the employment of this GSPN-based representation towards the establishment of a systematic trade-off between the representational economy of the target scheduling policies and their operational efficiency. In this paper, we enhance the representational economy of the target policies in the aforementioned framework by taking advantage of some notions of “(non-)conflict” in the transitional dynamics of the underlying RAS-modeling GSPNs. A series of numerical experiments demonstrate that the representational gains resulting from the presented methodology can be very substantial.
Starting Page	511
Ending Page	537
Page Count	27
File Format	PDF
ISSN	09246703
Journal	Discrete Event Dynamic Systems
Volume Number	26
Issue Number	3
e-ISSN	15737594
Language	English
Publisher	Springer US
Publisher Date	2015-09-05
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Generalized stochastic petri nets Performance optimization Scheduling Structural analysis Sequential resource allocation systems Systems Theory, Control Operation Research/Decision Theory Convex and Discrete Geometry Electrical Engineering Manufacturing, Machines, Tools
Content Type	Text
Resource Type	Article
Subject	Control and Systems Engineering Electrical and Electronic Engineering Modeling and Simulation

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

Performance optimization for a class of generalized stochastic Petri nets

Diagnosability of Petri nets with observation graphs

Determinization of timed Petri nets behaviors

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

Simulating Markovian stochastic Petri Nets by difference equations with interval parameters

Comparison of Hybrid Systems and Fluid Stochastic Petri Nets

Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory

On Hybrid Petri Nets

Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory

Similar Documents

Performance optimization for a class of generalized stochastic Petri nets

Diagnosability of Petri nets with observation graphs

Determinization of timed Petri nets behaviors

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

Simulating Markovian stochastic Petri Nets by difference equations with interval parameters

Comparison of Hybrid Systems and Fluid Stochastic Petri Nets

Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory

On Hybrid Petri Nets

Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory