The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets | IEEE Conference Publication | IEEE Xplore