The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets.

Serge Haddad, Sylvain Schmitz, Philippe Schnoebelen

Browse the full LICS paper archive.