Modelling, supervisory control and simulation of a tanning industry: A resource-oriented modular timed Petri net approach | IEEE Conference Publication | IEEE Xplore