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

Serge Haddad Sylvain Schmitz Philippe Schnoebelen

Published in: LICS (2012)

Keyphrases

petri net
data analysis
data processing
neural network
computer systems
discrete event systems
colored petri nets
learning environment
hardware and software