-liveness enforcement in Petri nets based on structural net properties

Marian V. Iordache, Panos J. Antsaklis. -liveness enforcement in Petri nets based on structural net properties. In 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001. pages 4984-4989, IEEE, 2001. [doi]

@inproceedings{IordacheA01-0,
  title = {-liveness enforcement in Petri nets based on structural net properties},
  author = {Marian V. Iordache and Panos J. Antsaklis},
  year = {2001},
  doi = {10.1109/.2001.980999},
  url = {https://doi.org/10.1109/.2001.980999},
  researchr = {https://researchr.org/publication/IordacheA01-0},
  cites = {0},
  citedby = {0},
  pages = {4984-4989},
  booktitle = {40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001},
  publisher = {IEEE},
  isbn = {0-7803-7061-9},
}