A Meta-Model-Based Approach to the Definition of the Analysis Results of Petri-Net Models | Publicación