A framework for rare event simulation of stochastic Petri nets using “RESTART”
WSC '96 Proceedings of the 28th conference on Winter simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on modeling and analysis of stochastic systems
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
IEEE Transactions on Software Engineering
Lectures on formal methods and performance analysis
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
IEEE Transactions on Software Engineering
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
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
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
TiPNet: a graphical tool for timed Petri nets
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
Modeling and analyzing resource-constrained business processes
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Dependability evaluation of complex systems with TimeNET
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
Building distributed scalable dependable real-time systems
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
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
Modeling and analyzing power management policies in server farms using stochastic Petri nets
Proceedings of the 3rd International Conference on Future Energy Systems: Where Energy, Computing and Communication Meet
Analytical modeling of TCP flow in wireless LANs
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |