Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Camilli, M., Bellettini, C., Capra, L.: A high-level Petri net-based formal model of distributed self-adaptive systems. In: Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, ECSA, pp. 40:1–40:7. ACM (2018). https://doi.org/10.1145/3241403.3241445
2. Lecture Notes in Computer Science;M Camilli,2018
3. Cheng, A., Christensen, S., Mortensen, K.H.: Model checking coloured Petri nets - exploiting strongly connected components. DAIMI Report Series 26(519) (1997). https://doi.org/10.7146/dpb.v26i519.7048, https://tidsskrift.dk/daimipb/article/view/7048
4. Christensen, S., Mortensen, K.H.: Design/CPN ASK-CTL Manual, Version 0.9 (1996)
5. DYNAMIC Research Project: Reducing fire disaster risk through dynamic risk assessment and management (2022). https://www.hvl.no/en/project/2495578/. Accessed 27 Mar 2022