Frequency-Based Partitioning for Modular Validation of Stochastic Petri Net Digital Twin Models.

Ashkan Zare, Sanja Lazarova-Molnar

Browse the full PADS paper archive.