PEPA Nets: A Structured Performance Modelling Formalism
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
Towards a certified petri net model-checker
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
| Hi-index | 0.00 |