Efficient distributed simulation
ACM SIGSIM Simulation Digest
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models
IEEE Transactions on Software Engineering
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets
IEEE Transactions on Computers
Analysis of critical architectural and programming parameters in a hierarchical
SIGMETRICS '90 Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A real introduction to supercomputing: a user training course
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Asymptotic Analysis of a Heterogeneous Multiprocessor System in a Randomly Changing Environment
IEEE Transactions on Software Engineering
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
Multiple feedback queue as a model of general purpose multiprocessor systems
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Parallel simulation of stochastic Petri nets using recurrence equations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Compiling performance models from parallel programs
ICS '94 Proceedings of the 8th international conference on Supercomputing
Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
IEEE Transactions on Software Engineering
Efficient distributed simulation
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
Performance management of mobile agent systems
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
A pattern-based approach to model software performance
Proceedings of the 2nd international workshop on Software and performance
Process algebra for performance evaluation
Theoretical Computer Science
Formal methods for performance evaluation
Lectures on formal methods and performance analysis
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Mobility and performance modeling in cellular communication networks
ACM SIGMOBILE Mobile Computing and Communications Review
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Rational Approximants for Some Performance Analysis Problems
IEEE Transactions on Computers
The Circulating Processor Model of Parallel Systems
IEEE Transactions on Computers
Exploiting Lookahead in Parallel Simulation
IEEE Transactions on Parallel and Distributed Systems
Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model
IEEE Transactions on Parallel and Distributed Systems
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
Approximate Throughput Computation of Stochastic Marked Graphs
IEEE Transactions on Software Engineering
Transient Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering
Discrete-Event Simulation of Fluid Stochastic Petri Nets
IEEE Transactions on Software Engineering
Performance Evaluation: Origins and Directions
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Compositional Performance Modelling with TIPPtool
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Simulation of Task Graph Systems in Heterogeneous Computing Environments
HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop
Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Discrete-event simulation of fluid stochastic Petri nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Transient Analysis of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Timed Petri net models of multithreaded multiprocessor architectures
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Framework for business process redesign
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Allocation strategies for utilization of space-shared resources in Bag of Tasks grids
Future Generation Computer Systems
Transformation of UML Models into Analyzable OSAN Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
On the integration of UML and petri nets in software development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Stochastic modelling of flexible manufacturing systems
Mathematical and Computer Modelling: An International Journal
Analysis of stochastic Petri nets with signals
Performance Evaluation
| Hi-index | 0.01 |