Capra Lorenzo

A Lumped CTMC for Modular Rewritable PN / L. Capra, M. Gribaudo (LECTURE NOTES IN COMPUTER SCIENCE). - In: Computer Performance Engineering / [a cura di] J. Doncel, A. Remke, D. Di Pompeo. - Prima edizione. - [s.l] : Springer Verlag, 2025 Mar. - ISBN 9783031809316. - pp. 106-120 (( Intervento presentato al 20. convegno EPEW European Workshop tenutosi a Venezia nel 2024 [10.1007/978-3-031-80932-3_8].

Modular Stochastic Rewritable Petri Nets / L. Capra. - (2025 Feb 13). (Intervento presentato al 40. convegno International Conference on Logic Programming (ICLP 2024) tenutosi a Dallas nel 2024) [10.4204/eptcs.416.11].

A “Symbolic” Representation of Object-Nets / M. Köhler-Bußmeier, L. Capra (LECTURE NOTES IN COMPUTER SCIENCE). - In: IDCIT / [a cura di] Q. Bramas, B. Chatterjee, S. Devismes, M. Egan, P. Sarathi Mandal, K. Mukhopadhyaya, V. Vijaya Saradhi. - Prima edizione. - [s.l] : Springer, 2025 Jan. - ISBN 9783031814037. - pp. 68-74 (( Intervento presentato al 21. convegno Distributed Computing and Intelligent Technology International Conference : January 8–11 tenutosi a Bhubaneswar (India) nel 2025 [10.1007/978-3-031-81404-4_6].

Modelling Dependable Systems with Modular Rewritable Stochastic Petri Nets / L. Capra - In: SAC '25: Proceedings / [a cura di] J. Hong, S. Battiato, C. Esposito. - [s.l] : ACM, 2025. - ISBN 979-8-4007-0629-5. - pp. 308-315 (( Intervento presentato al 40. convegno Annual ACM Symposium on Applied Computing tenutosi a Catania nel 2025 [10.1145/3672608.3707976].

A "Symbolic" Representation of Object-Nets (Extended Version) / M. Köhler-Bussmeier, L. Capra. - (2024 Oct 31). [10.48550/arXiv.2411.00149]