[IEEE 2006 IEEE International Conference on Networking, Sensing and Control - Ft. Lauderdale, FL, USA (23-25 April 2006)] 2006 IEEE International Conference on Networking, Sensing and Control - A Polynomial Algorithm to Decide the Liveness for a Class of Petri Nets
Zhiwu Li,, Ding Liu,, Anrong Wang,Année:
2006
Langue:
english
DOI:
10.1109/icnsc.2006.1673153
Fichier:
PDF, 494 KB
english, 2006