The objective of this group is to stimulate and promote scientific research on performance
evaluation, contributing to the diffusion of the Stochastic Automata Networks (SAN)
formalism as a powerful and useful tool.
The SAN formalism can be applied in different areas e.g. software engineering, reliability, parallel programing, concurrent systems, and performance evaluation of diverse systems.
PEPS software tool
Some SAN examples
