References
- Cassandras, C.G., & Lafortune, S. (2008). Introduction to Discrete Event Systems. Springer.
- Kecir, K. (2014). Contrôle optimal d’un système ferroviaire complet. Université de Toulouse III-Paul Sabatier.
- Boufaied, A. (2003). Contribution à la surveillance distribuée des systèmes à événements discrets complexes. Université Paul Sabatier-Toulouse III.
- Cardin, O. (2016). Contribution à la conception, l’évaluation et l’implémentation de systèmes de production cyber-physiques. Université de Nantes.
- Trinquet, Y., & Elloy, J-P. (2010). Les systèmes d’exploitation temps réel: les principes. Techniques de L’ingénieur.
- Girault, C., & Valk, R. (2013). Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications. Springer Science & Business Media.
- Seatzu, C., Silva, M., & Van Schuppen, J. H. (Eds.). (2013). Control of Discrete-Event Systems. (vol. 433). Springer.
- Zaytoon, J., & Lafortune, S. (2013). Overview of Fault Diagnosis Methods for Discrete Event Systems. Annual Reviews in Control, 37 (2), 308–320.
- Ammour, R., Leclercq, E., Sanlaville, E., & Lefebvre, D. (2017). State Estimation of Discrete Event Systems for RUL Prediction Issue. International Journal of Production Research, 55 (23), 7040–7057.
- Norman, G., Parker, D., & Sproston, J. (2013). Model Checking for Probabilistic Timed Automata. Formal Methods in System Design, 43, 164-190.
- Labadi, K. (2005). Contribution à la modélisation et à l’évaluation de performances des systèmes logistiques à l’aide d’un nouveau modèle de réseaux de petri stochastiques. Université de Technologie de Troyes.
- Declerck, P., Chouchane, A., & Bonhomme, P. (2017). A strategy for estimation in timed Petri nets. In: 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE.
- Declerck, P. (2021). Counter Approach for the Estimation of Optimal Sequences in Partially Observable Untimed Petri Nets. Discrete Event Dynamic Systems, 31 (4), 489–512.
- Khedher, A., & BenOthman, K. (2022). Estimation and Fault Detection of Discrete Event Systems Modeled by Time Interval Petri Nets. Research Square. https://doi.org/10.21203/rs.3.rs-1263538/v1
- Gargantini, A., & Heitmeyer, C. (1999). Using Model Checking to Generate Tests from Requirements Specifications. ACM SIGSOFT Software Engineering Notes, 24 (6), 146–162.
- Faure, A., Poquet, M., & Richard, O. (2018). Évaluation d’algorithmes d’ordonnancement par simulation réaliste. hal-01779936.
- Silva, M. (1980). Simplification des réseaux de Petri par élimination de places implicites. Digital Processes, 6 (4), 245–256.
- Liu, B., Ghazel, M., & Toguyeni, A. (2013). Edition spéciale MSR, Évaluation à la volée de la diagnosticabilité des systèmes a événements discrets temporisés. Journal Européen des systèmes automatisés, 47, 227–242.
- Heitmeyer, C., & Mandrioli, D. (1996). Formal Methods for Real-Time Computing. John Wiley & Sons.
- Alur, R., Courcoubetis, C., & Dill, D. (1990). Model-checking for real-time systems. In: Fifth Annual IEEE Symposium on Logic in Computer Science. IEEE.
- Cheng, A.M. (2003). Real-Time Systems: Scheduling, Analysis, and Verification. John Wiley & Sons.
- Norman, G., Parker, D., & Sproston, J. (2013). Model Checking for Probabilistic Timed Automata. Formal Methods in System Design, 43, 164–190.
- Kordon, F., Linard, A., Buchs, D., Colange, M., Evangelistika, S., Lampka, K., … & Wimmel, H. (2012). Report on the Model Checking Contest at Petri Nets 2011. Transactions on Petri Nets and Other Models of Concurrency VI, 169–196.
- Reisig, W. (2012). Petri Nets: An Introduction (vol. 4). Springer Science & Business Media.
- Benasser, A. (2000). L’accessibilité dans les réseaux de Petri: une approche basée sur la programmation par contraintes. Lille 1.
- Barkaoui, K. (1988). Contribution aux méthodes d’analyse des réseaux de Petri par la théorie des graphes. Paris 6.
- Girault, F. (1997). Formalisation en logique linéaire du fonctionnement des réseaux de Petri. Université Paul Sabatier-Toulouse III.
- Popova-Zeugmann, L. (2013). Time Petri Nets. Springer.
- Murata, T. (1989). Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77 (4), 541–580.
- Ogata, K. (2020). A Generic Approach on How to Formally Specify and Model Check Path Finding Algorithms: Dijkstra, A* and LPA. International Journal of Software Engineering and Knowledge Engineering, 30 (10), 1481–1523.
- Kátai, Z., & Fülöp, P. I. (2010). Modeling dynamic programming problems: Petri nets versus d-graphs. In: Proceedings of 8th International Conference on Applied Informatics (ICAI).
- Augusto, V. (2012). Cours Réseaux de Pétri. École Nationale Supérieure des Mines de Saint-Etienne.
- Lee-Kwang, H., Favrel, J., & Baptiste, P. (1987). Generalized Petri Net Reduction Method. IEEE Transaction on Systems Man and Cybernetics, 17 (2), 297–303.
- Sloan, R.H., & Buy, U. (1996). Reduction Rules for Time Petri Nets. Acta Informatica, 33, 687–706.
- Lee, K.-H., & Favrel, J. (1985). Hierarchical Reduction Method for Analysis and Decomposition of Petri Nets. Transaction on Systems Man and Cybernetics, 15 (2), 272–280.
- Mahfoudhi, A., Hadj Kacem, Y., & Abid, M. (2011). Compositional Specification of Real Time Embedded Systems by Priority Time Petri Nets. The Journal of Supercomputing, 59, 1478–1503.
- Karamti, W., & Mahfoudhi, A. (2014). Scheduling Analysis Based on Model Checking for Multiprocessor Real-Time Systems. The Journal of Supercomputing, 68, 1604–1629.
- Dutertre, B., & Stavridou, V. (2000). Formal analysis for real-time scheduling. In: 19th Digital Avionics Systems Conference. (Cat. No. 00CH37126). IEEE.
- Ahmad, S., Malik, S., Ullah, I., Park, D.-H., Kim, K., & Kim, D. (2019). Towards the Design of a Formal Verification and Evaluation Tool of Real-Time Tasks Scheduling of IoT Applications. Sustainability, 11 (1), 204.
- Souyris, J., Wiels, V., Delmas, D., & Delseny, H. (2009). Formal verification of avionics software products. In: Formal Methods: Second World Congress (pp. 532–546). 2–6 November 2009. Eindhoven, The Netherlands.
- Choquet-Geniet, A., Geniet, D., & Cottet, F. (1996). Exhaustive computation of the scheduled task execution sequences of a real-time application. In: Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium. 9–13 September 1996. Uppsala, Sweden, Springer.
- Hohmann, W. (2004). Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software. SAE Technical Paper.