Minimum initial marking problems of Petri nets