The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets
IEEE Transactions on Computers
Petri-net evaluation using APL2
APL '92 Proceedings of the international conference on APL
A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets"
IEEE Transactions on Computers
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Petri net modeling of interconnection networks for massively parallel architectures
ICS '95 Proceedings of the 9th international conference on Supercomputing
Parallel simulation of performance Petri nets: extending the domain of parallel simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
Quantitative system evaluation with DSPNexpress 2000
Proceedings of the 2nd international workshop on Software and performance
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Lectures on formal methods and performance analysis
Modeling of interconnection subsystems for massively parallel computers
Performance Evaluation
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
IEEE Transactions on Software Engineering
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions
IEEE Transactions on Software Engineering
Product form solution for an insensitive stochastic process algebra structure
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Performance Analysis of Data Services over GPRS
HiPC '01 Proceedings of the 8th International Conference on High Performance Computing
Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
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
Iterative Analysis of Markov Regenerative Models
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Well-defined stochastic Petri nets
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Stochastic modeling using DSPNexpress
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Modeling a scalable high-speed interconnect with stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
New Primitives for Interlaced Memory Policies in Markov Regenerative Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Construction and stepwise refinement of dependability models
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Towards modeling and evaluation of ETCS real-time communication and operation
Journal of Systems and Software - Special issue: Parallel and distributed real-time systems
Parallel simulation of petri nets on desktop pc hardware
WSC '05 Proceedings of the 37th conference on Winter simulation
Performability analysis of clustered systems with rejuvenation under varying workload
Performance Evaluation
Runtime adaptation in safety-critical automotive systems
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Modeling and evaluation of supply chains with GSPN components
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Advanced features in SMART: the stochastic model checking analyzer for reliability and timing
ACM SIGMETRICS Performance Evaluation Review
Performance analysis of wireless opportunistic schedulers using stochastic Petri nets
IEEE Transactions on Wireless Communications
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
PACS'02 Proceedings of the 2nd international conference on Power-aware computer systems
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
Dependability metrics
Automatic modeling for performance evaluation of inventory and outbound distribution
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Using stochastic Petri nets for performance modelling of application servers
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A component-based solution method for non-ergodic Markov regenerative processes
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
IEEE Transactions on Intelligent Transportation Systems
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
Fixed-delay events in generalized semi-Markov processes revisited
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Probabilistic real-time rewrite theories and their expressive power
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
A new approach to the evaluation of non markovian stochastic petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Model-Driven safety evaluation with state-event-based component failure annotations
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs
Discrete Event Dynamic Systems
Dependability analysis of DES based on MARTE and UML state machines models
Discrete Event Dynamic Systems
Regular paper: Temporal analysis of data flow control systems
Automatica (Journal of IFAC)
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Modelling and analysing resilience as a security issue within UML
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Configuration-Based service availability analysis for middleware managed applications
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
On time-average limits in deterministic and stochastic petri nets
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
A component-based solution for reducible Markov regenerative processes
Performance Evaluation
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.01 |