Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model

摘要

model. This model can simulate other timed colored Petri nets and allows describing large and complex real-time systems. We propose here to contract its gene...