Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Lectures on formal methods and performance analysis
IEEE Transactions on Knowledge and Data Engineering
Structured Solution of Asynchronously Communicating Stochastic Modules
IEEE Transactions on Software Engineering
Product Form Solution for Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
IEEE Transactions on Software Engineering
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Advances in Model Representations
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Modelling QoS Based Admission Control in Mobile Multimedia Systems Using an Extension of GSPN
ICOIN '02 Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part II
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Performance Evaluation: = (Process Algebra + Model Checking) × Markov Chains
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Randomized Non-sequential Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Constraint-Based Model Checking for Parameterized Synchronous Systems
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Performance Evaluation: Origins and Directions
Dependability of Computer Control Systems in Power Plants
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Exploiting Modal Logic to Express Performance Measures
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Probabilistic cluster unfoldings
Fundamenta Informaticae
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
IEEE Transactions on Software Engineering
Construction and stepwise refinement of dependability models
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
On the performance analysis of ABR in ATM LANs with stochastic petri nets
Journal of Systems Architecture: the EUROMICRO Journal
QoS Assessment via Stochastic Analysis
IEEE Internet Computing
Contention-sensitive static performance prediction for parallel distributed applications
Performance Evaluation
Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems
Future Generation Computer Systems - Systems performance analysis and evaluation
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets
Fundamenta Informaticae
Performance analysis of concurrent systems with early evaluation
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Modelling and simulation of biological processes in BlenX
ACM SIGMETRICS Performance Evaluation Review
An integrated framework for the dependability evaluation of distributed mobile applications
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Formalisms for Specifying Markovian Population Models
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Performability evaluation of EFT systems using expolinomial stochastic models
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Concurrency and composition in a stochastic world
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
A study of the convergence of steady state probabilities in a closed fork-join network
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Planning service agreements in soa-based systems through stochastic models
Proceedings of the 2011 ACM Symposium on Applied Computing
Simulation and optimization of material and energy flow systems
Winter Simulation Conference
Preface: Petri nets for Systems and Synthetic Biology
Natural Computing: an international journal
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A petri net based approach for reliability prediction of web services
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
A methodology based on formal methods for predicting the impact of dynamic power management
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
History-Dependent stochastic petri nets
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Discrete transparent boundary conditions for parabolic systems
Mathematical and Computer Modelling: An International Journal
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
Theoretical Computer Science
Automating Data-Throttling Analysis for Data-Intensive Workflows
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
A fresh look at petri net extensions
Software Service and Application Engineering
Bisimulation and Open Maps for Timed Transition Systems
Fundamenta Informaticae
Modelling and analysis of the split phase multi-channel MAC approach
Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Efficient simulation of stochastic well-formed nets through symmetry exploitation
Proceedings of the Winter Simulation Conference
The right timing: reflections on the modeling and analysis of time
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.00 |