Abstract: The adoption of data-driven Digital Twins in smart manufacturing systems necessitates robust, data-driven modeling techniques. Stochastic Petri nets offer a formal framework for capturing ...