SOLID-M is a quality framework for conceptual models learned from data.
his dataset provides a SOLID-M instantiation example for analyzing the quality of agent-based Petri net models discovered from data by the Agent Miner algorithm.
In this example, we specify the six SOLID-M modeling artifact sets and propose possible characteristics and measures for each of the eight SOLID-M quality aspects calculated over the specified sets.