This paper proposes a new heuristic algorithm FMDB for the minimum initial
marking problem MIM of Petri nets: "Given a Petri net and a firing count ve
ctor X, find an initial marking M-0, with the minimum total token number, f
or which there is a sequence delta of transitions such that each transition
t appears exactly X(t) times in delta, the first transition is firable on
M-0 and the rest can be fired one by one subsequently." Experimental result
s show that FMDB produces better solutions than any known algorithm.