, Dynamic analysis of timed Petri nets: a case of two processes and a shared resource, IEEE Transactions on Robotics and Automation, vol.13, issue.3, pp.338-346, 1997.
DOI : 10.1109/70.585897
URL : https://hal.archives-ouvertes.fr/hal-01369386
, Design of admissible schedules for AGV systems with constraints: a logic-algebraic approach Agent and Multi-Agent Systems: Technologies and Applications, Lecture Notes in Artificial Intelligence LNAI, vol.4496, pp.578-587, 2008.
, Cyclic Steady State Refinement, International Symposium on Distributed Computing and Artificial Intelligence Series: Advances in Intelligent and Soft Computing, pp.191-198
DOI : 10.1007/978-3-642-19934-9_24
URL : https://hal.archives-ouvertes.fr/hal-01524185
, Cyclic scheduling following the social behavior of ant colonies, IEEE International Conference on Systems, Man and Cybernetics, pp.450-454, 2002.
DOI : 10.1109/ICSMC.2002.1176084
, Complexity of cyclic scheduling problems: A state-of-the-art survey, Computers & Industrial Engineering, vol.59, issue.2, pp.352-361, 2010.
DOI : 10.1016/j.cie.2010.03.013
, A Case Study in Periodic Timetabling, Electronic Notes in Theoretical Computer Science, vol.66, issue.6, pp.21-34, 2002.
DOI : 10.1016/S1571-0661(04)80526-7
URL : http://doi.org/10.1016/s1571-0661(04)80526-7
, The performance evaluation tool for automated prototyping of concurrent cyclic processes. Fundamenta Informaticae, A. Skowron, vol.60, issue.14, pp.269-289, 2004.
, Petri net modeling and scheduling for cyclic job shops with blocking, Computers & Industrial Engineering, vol.34, issue.2, pp.281-295, 1998.
DOI : 10.1016/S0360-8352(97)00325-2
, Constraint programming approach to designing conflict-free schedules for repetitive manufacturing processes. Digital enterprise technology. Perspectives and future challenges, pp.267-274, 2007.