带抑制弧的时延着色Petri网（Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA）是一种描述实时嵌入式系统的模型。给出了从TCPN......