ACM Transactions on Computer Systems (TOCS)
Discrete Time Stochastic Petri Nets
IEEE Transactions on Software Engineering
Towards reachability trees for high-level Petri nets
Advances in Petri Nets 1984
Domain oriented analysis of PDE splitting algorithms
Information Sciences: an International Journal
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
A Software Package for the Analysis of Generalized Stochastic Petri Net Models
International Workshop on Timed Petri Nets
On Petri Nets with Stochastic Timing
International Workshop on Timed Petri Nets
International Workshop on Timed Petri Nets
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Use of Petri Nets for Performance Evaluation
Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
Petri Nets with Individual Tokens
Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets
Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
The Design of a Unified Package for the Solution of Stochastic Petri Net Models
International Workshop on Timed Petri Nets
Modeling and Online Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets
IEEE Transactions on Software Engineering
Petri-net evaluation using APL2
APL '92 Proceedings of the international conference on APL
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
Modeling and performance analysis of QoS-aware load balancing of web-server clusters
Computer Networks: The International Journal of Computer and Telecommunications Networking
A Timed Petri Net Interpreter: An Alternative Method for Simulation
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Manual and Automatic Exploitation of Symmetries in SPN Models
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Stability analysis of buffer priority scheduling policies using Petri nets
Journal of Computer Science and Technology
n-cube model for cluster computing and its evaluation
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Modeling and survivability analysis of service composition using Stochastic Petri Nets
The Journal of Supercomputing
A proactive distributed qos control framework for cluster web site
HPCC'06 Proceedings of the Second international conference on High Performance Computing and Communications
| Hi-index | 14.98 |
A class of stochastic Petri nets called stochastic high-level Petri nets (SHLPNs) is proposed. SHLPNs are high-level Petri nets augmented with exponentially distributed firing times. SHLPNs generally lead to models with a smaller state space. A computer marking concept is introduced that allows a considerable reduction of the number of states and induces a correct grouping of states in the Markov-domain SHLPN models of multiprocessor systems. The main advantage of modeling homogeneous systems using SHLPNs is that the resulting models are simpler and more intuitive and have a smaller number of states, as shown by examples.