Temporal reduction in time petri net

M Sogbohossou, D Delfieu - 2008 3rd International Design and …, 2008 - ieeexplore.ieee.org
Temporal analysis of large real-time systems expressed in terms of formal timed models
such as time Petri net (TPN) faces to the problem of combinatory explosion. In practice, a …
被引用次数：5 相关文章

[引用][C] Temporal reduction in Time Petri net

M Sogbohossou, D Delfieu - 2008 - inria.hal.science
Temporal reduction in Time Petri net - Inria - Institut national de recherche en sciences et
technologies du numérique Accéder directement au contenu Documentation FR Français (FR) …

[引用][C] Temporal reduction in Time Petri net

M Sogbohossou, D Delfieu - 2008 - hal.science
Temporal reduction in Time Petri net - Archive ouverte HAL Accéder directement au contenu
Documentation FR Français (FR) Anglais (EN) Se connecter HAL science ouverte Recherche …

Temporal reduction in time Petri net

M Sogbohossou, D Delfieu - 2008 3rd International Design and Test Workshop - infona.pl
Temporal analysis of large real-time systems expressed in terms of formal timed models
such as time Petri net (TPN) faces to the problem of combinatory explosion. In practice, a …