Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets

Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. The original definition of SANs has been used as a modeling formalism in several well-known and powerful modeling tools. SANs have been used to evaluate a wide range of systems, mainly for dependability and performability evaluation purposes. SAN models have not been considered in the definition of the Petri net markup language (PNML). Because of the existence of some different primitives and concepts, the current definition of PNML does not cover these models. In this paper, after a brief introduction to SANs, we will introduce a PNML-based interchange format for these models called SAN markup language (SANML). We will also discuss on the possibility of the integration of SANs into PNML.