mplementation of a SFC module in a production management system ...