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

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

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

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

By Boucheneb Hanifa   Hadjidj Rachid  

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

Inderscience Publishers

Access to resources Recommend Favorite

On fluidization of discrete event models: observation and control of continuous Petri nets

By Silva Manuel  

Discrete Event Dynamic Systems, Vol. 21, Iss. 4, 2011-12 ,pp. : 427-497

Springer Publishing Company

Access to resources Recommend Favorite