Efficient Discrete-Event Simulation of Colored Petri Nets
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Approximate Mean Value Analysis for Stochastic Marked Graphs
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on modeling and analysis of stochastic systems
Performance analysis of internet based software retrieval systems using Petri Nets
MSWIM '01 Proceedings of the 4th ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
On the use of partial symmetries for lumping Markov chains
ACM SIGMETRICS Performance Evaluation Review
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
IEEE Transactions on Software Engineering
QoS-IP 2003 Proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks
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
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
A Performance Engineering Case Study: Software Retrieval System
Performance Engineering, State of the Art and Current Trends
Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
SWN Analysis and Simulation of Large Knockout ATM Switches
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Attacking Symbolic State Explosion
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Performance Analysis of a WDM Bus Network Based on GSPN Models
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Integrating Synchronization with Priority into a Kronecker Representation
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Validation of GSPN and SWN Models through the PROD Tool
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Performance Validation of Fault-Tolerance Software: A Compositional Approach
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Performance Modeling of Heterogeneous Distributed Applications
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
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Analysis of large GSPN models: a distributed solution tool
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
GSPN Semantics for Queueing Networks with Blocking
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
GSPN Analysis of ABR in ATM LANs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
On the performance analysis of ABR in ATM LANs with stochastic petri nets
Journal of Systems Architecture: the EUROMICRO Journal
A new disk-based technique for solving the largeness problem of stochastic modeling formalisms
Journal of Systems and Software
Product-form and stochastic Petri nets: a structural approach
Performance Evaluation
Modeling, analysis, measurement and experimentation with the Tangram-II integrated environment
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Performance analysis using CPN tools
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Performance measures of a call admission control in mobile networks using SWN
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
The software architecture of the OsMoSys multisolution framework
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Experimentation and output interchange for petri net models
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Proceedings of the 2008 Spring simulation multiconference
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
The GreatSPN tool: recent enhancements
ACM SIGMETRICS Performance Evaluation Review
Non deterministic repairable fault trees for computing optimal repair strategy
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
P-Semiflow Computation with Decision Diagrams
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
(Toward) discrete-event simulation of reflective Petri nets
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Electronic Notes in Theoretical Computer Science (ENTCS)
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolutionary design through reflective Petri nets: an application to workflow
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Parametric stochastic well-formed nets and compositional modelling
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
A set of performance and dependability analysis components for CADP
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Markov decision Petri net and Markov decision well-formed net formalisms
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Improving static variable orders via invariants
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Concurrency and composition in a stochastic world
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Multiformalism and transformation inheritance for dependability analysis of critical systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
The how and why of interactive Markov chains
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
(Symbolic) state-space inspection of a class of dynamic Petri nets
Proceedings of the 2010 Summer Computer Simulation Conference
Simulation-based performance analysis of channel-based coordination models
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
A reachability algorithm for general petri nets based on transition invariants
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Expressiveness and efficient analysis of stochastic well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
High level petri nets analysis with helena
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems
Mathematical and Computer Modelling: An International Journal
Coupling and importance sampling for statistical model checking
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
On simulation of non-Markovian stochastic Petri nets with heavy-tailed firing times
Proceedings of the Winter Simulation Conference
Synthesis and Analysis of Product-form Petri Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
Hi-index | 0.00 |