Inproceedings,

A polynomial complexity algorithm to decide the liveness for a class of Petri nets

, and .
2005 International Conference on Control and Automation, 2, page 1175--1180 Vol. 2. IEEE, (June 2005)
DOI: 10.1109/icca.2005.1528299

Meta data

Tags

Users

  • @fernand0

Comments and Reviews