Efficient search of Petri Nets for deadlock-free scheduling in FMSs using heuristic functions

By ELMEKKAWY TAREK Y.   ELMARAGHY HODA A.  

International Journal of Computer Integrated Manufacturing, Vol. 16, Iss. 1, 2003-01 ,pp. : 14-24

Taylor & Francis Ltd

Access to resources Recommend Favorite

A time-controlled Petri net model and deadlock detouring algorithm for real-time FMC control

By Kang Suk-Ho  

International Journal of Computer Integrated Manufacturing, Vol. 13, Iss. 6, 2000-11 ,pp. : 533-544

Taylor & Francis Ltd

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

A Generalized Deadlock-Free Process Calculus

By Sumii E.   Kobayashi N.  

Electronic Notes in Theoretical Computer Science, Vol. 16, Iss. 3, 2004-01 ,pp. : 1-23

Elsevier

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