Samir Tigane, Laïd Kahloul, Souheib Baarir, Samir Bourekkache. Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. In VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, Tsukuba, Japan, May 18-20, 2020. pages 164-171, ACM, 2020. [doi]
Abstract is missing.