Production, supply, and traffic systems: A unified modelling using Petri Nets | IEEE Conference Publication | IEEE Xplore