Automated mapping among formalisms for heterogeneous specification environments

The technology evolution allows to design more complex systems, often composed by subsystems with heterogeneous functionalities and developed by design teams having different skills about specification languages. Therefore, a system model based on a single specification language could be a strong limitation for the designers. A solution is to adopt different formalisms for the different subsystems integrated into a common specification and simulation environment. Such goal may be achieved by translating heterogeneous models in a unique formalism for internal representation and simulation. The present paper proposes a set of rules from the transformation schema into a Petri net extension