@inbook {1487, title = {A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models}, booktitle = {Theory and Application of Multi-Formalism Modeling}, series = {Advances in Systems Analysis, Software Engineering, and High Performance Computing (ASASEHPC)}, year = {2013}, publisher = {IGI Global}, organization = {IGI Global}, isbn = {978-1-4666-4659-9}, doi = {10.4018/978-1-4666-4659-9.ch006}, author = {Simona Bernardi and Jos{\'e} Merseguer}, editor = {Marco Gribaudo and Mauro Iacono} }