Generation of mathematical programming representations for discrete event simulation models of timed Petri nets
scientific article; zbMATH DE number 7854380