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...
[发布日期] [发布机构]
[效力级别] [学科分类] 电子、光学、磁材料
[关键词] Formal methods;model checking;timed models;timed colored Petri net;state space contraction;linear properties. [时效性]
