, 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
, Declarative Approach to Cyclic Scheduling of Multimodal Processes, pp.203-235, 2013.
DOI : 10.1007/978-3-642-23553-5_13
, Declarative approach to cyclic steady state space refinement: periodic process scheduling, The International Journal of Advanced Manufacturing Technology, vol.25, issue.2, p.2012
DOI : 10.1007/s00170-013-4760-0
URL : http://dx.doi.org/10.1007/s00170-013-4760-0
, Cyclic Steady State Refinement Advances in Intelligent and Soft Computing, International Symposium on Distributed Computing and Artificial Intelligence, pp.191-198, 2011.
, 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
, The performance evaluation tool for automated prototyping of concurrent cyclic processes. Fundamenta Informaticae, A. Skowron, vol.60, issue.14, pp.269-289, 2004.
, The Algorithmic Resolution of Diophantine Equations, 1998.
, Constraint programming approach to designing conflict-free schedules for repetitive manufacturing processes. Digital enterprise technology. Perspectives and future challenges, pp.267-274, 2007.