Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
IEEE Transactions on Software Engineering
Structural techniques and performance bounds of stochastic Petri net models
Advances in Petri Nets 1992, The DEMON Project
Bounds and Policies for Dynamic Routing in Loss Networks
Operations Research
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Simulation Modeling and Analysis (McGraw-Hill Series in Industrial Engineering and Management)
Simulation Modeling and Analysis (McGraw-Hill Series in Industrial Engineering and Management)
Performance analysis of concurrent systems with early evaluation
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
IEEE Transactions on Software Engineering
Basic qualitative properties of Petri nets with multi-guarded transitions
ACC'09 Proceedings of the 2009 conference on American Control Conference
Faster maximum and minimum mean cycle algorithms for system-performance analysis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Microarchitectural Transformations Using Elasticity
ACM Journal on Emerging Technologies in Computing Systems (JETC)
| Hi-index | 0.00 |
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution of the system. A way of modeling this changing requirement is through multi-guarded tasks. This paper studies the performance evaluation of the class of marked graphs extended with multi-guarded transitions (or tasks). Although the throughput of such systems can be computed through Markov chain analysis, two alternative methods are proposed to avoid the state explosion problem. The first one obtains throughput bounds in polynomial time through linear programming. The second one yields a small subsystem that estimates the throughput of the whole system.