Studying multi-assembly machine production systems with hybrid timed Petri nets | IEEE Conference Publication | IEEE Xplore