Minimum initial marking in timed marked graphs. - Juan Rodríguez-Beltrán; Antonio Ramírez-Treviño (SMC, 2000)