ACM Transactions on Computer Systems (TOCS)
Symmetric stochastic Petri nets
IBM Journal of Research and Development
A Formal Definition of Data Flow Graph Models
IEEE Transactions on Computers
Exact performance estimates for multiprocessor memory and bus interference
IEEE Transactions on Computers
Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control
IEEE Transactions on Computers
Survey of software tools for evaluating reliability, availability, and serviceability
ACM Computing Surveys (CSUR)
IEEE Transactions on Computers
Stochastic Petri Net Representation of Discrete Event Simulations
IEEE Transactions on Software Engineering
IEEE Transactions on Computers
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models
IEEE Transactions on Software Engineering
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets
IEEE Transactions on Software Engineering
Performability Analysis of Distributed Real-Time Systems
IEEE Transactions on Computers
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
The GTPN analyzer: numerical methods and user interface
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Formal methods for performance evaluation
Lectures on formal methods and performance analysis
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Performance Analysis of Asynchronous Circuits Using Markov Chains
Concurrency and Hardware Design, Advances in Petri Nets
Structured Characterization of the Markov Chain of Phase-Type SPN
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Well-defined stochastic Petri nets
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A multiview approach to modeling and analysis of discrete event systems
Systems Analysis Modelling Simulation
Stochastic Graph Transformation Systems
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Modeling Bus Contention and Memory Interference in a Multiprocessor System
IEEE Transactions on Computers
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
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
Quantifying the sustainability impact of data center availability
ACM SIGMETRICS Performance Evaluation Review
Dependability metrics
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
Applying ordinary differential equations to the performance analysis of service composition
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Stochastic analysis of graph transformation systems: a case study in P2P networks
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Managing petri nets in MOF repositories
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
History-Dependent stochastic petri nets
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs
Discrete Event Dynamic Systems
Stochastic Graph Transformation Systems
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Investigating coupling patterns in state-space models for system reliability
Proceedings of the Winter Simulation Conference
Journal of Electronic Testing: Theory and Applications
| Hi-index | 0.02 |