Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets

Author： Boucheneb Hanifa   Hadjidj Rachid  

Publisher： Inderscience Publishers

ISSN： 1741-1068

Source： International Journal of Embedded Systems, Vol.2, Iss.1-2, 2006-07, pp. : 128-139

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Model Checking of Time Petri Nets Using the State Class Timed Automaton

By Lime Didier   Roux Olivier  

Discrete Event Dynamic Systems, Vol. 16, Iss. 2, 2006-04 ,pp. : 179-205

Springer Publishing Company

Access to resources Recommend Favorite

On the composition of time Petri nets

By Peres Florent  

Discrete Event Dynamic Systems, Vol. 21, Iss. 3, 2011-09 ,pp. : 395-424

Springer Publishing Company

Access to resources Recommend Favorite

State Observer for DES Under Partial Observation with Time Petri Nets

By Ghazel Mohamed   Toguyéni Armand   Yim Pascal  

Discrete Event Dynamic Systems, Vol. 19, Iss. 2, 2009-06 ,pp. : 137-165

Springer Publishing Company

Access to resources Recommend Favorite

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

By Berthomieu Bernard   Lime Didier   Roux Olivier   Vernadat François  

Discrete Event Dynamic Systems, Vol. 17, Iss. 2, 2007-06 ,pp. : 133-158

Springer Publishing Company

Access to resources Recommend Favorite

Verification of bounded Petri nets using integer programming

By Khomenko Victor   Koutny Maciej  

Formal Methods in System Design, Vol. 30, Iss. 2, 2007-04 ,pp. : 143-176

Springer Publishing Company

Access to resources Recommend Favorite