Author:
Cazenave Paul,Khlif-Bouassida Manel,Toguyéni Armand
Publisher
Springer International Publishing
Reference16 articles.
1. Cazenave, P., Khlif-Bouassida, M., Toguyeni, A.: Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node. In: 6th International Conference on Control, Decision and Information Technologies, IEEE (2019)
2. Chao, D.Y.: Minimal strict siphons extraction for S3PMR. J. Chin. Inst. Eng. 33(7), 995–1004 (2010)
3. Chu, F., Xie, X.L.: Deadlock analysis of petri nets using siphons and mathematical programming. IEEE Trans. Robot. Autom. 13(6), 793–804 (1997)
4. Giua, A., DiCesare, F., Silva, M.: Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: IEEE International Conference on Systems, Man and Cybernetics, 1992. IEEE (1992), pp. 974–979
5. Giua, A., Seatzu, C.: Modeling and supervisory control of railway networks using petri nets. IEEE Trans. Autom. Sci. Eng. 5(3), 431–445 (2008)