[KE2] How to represent SANs?

[SergeStinckwich]

Does a SAN know about its history (how it was built originally)? For example:

c := c1 + c2.

• does c know that it is a sum ?
• If the structure is not explicit in a SAN, how do we implement functional rates for example?

We need to implement Kendrick models as SAN.

Links to PEPS implementation:

• http://www-id.imag.fr/Logiciels/peps/index.html
• https://link.springer.com/chapter/10.1007/978-3-540-45232-4_7
• Brenner_et_al._-2007-PEPS2007-_Stochastic_Automata_Networks_Software_T.pdf