by Juan-Pablo López-Grao, José-Manuel Colom and Fernando Tricas
Reference:
Chapter 7 - Structural deadlock prevention policies for Flexible Manufacturing Systems. A Petri net outlook (Juan-Pablo López-Grao, José-Manuel Colom and Fernando Tricas), Chapter in Formal Methods in Manufacturing (Javier Campos, Carla Seatzu, Xiaolan Xie, eds.), CRC Press/Taylor and Francis Group, 2016.
Bibtex Entry:
@InCollection{Lopez-Grao2016,
author = {Juan{-}Pablo L{\'{o}}pez{-}Grao and Jos{\'e}-Manuel Colom and Fernando Tricas},
booktitle = {Formal Methods in Manufacturing},
publisher = {CRC Press/Taylor and Francis Group},
title = {Chapter 7 - {S}tructural deadlock prevention policies for {F}lexible {M}anufacturing {S}ystems. {A} {P}etri net outlook},
year = {2016},
editor = {Javier Campos and Carla Seatzu and Xiaolan Xie},
isbn = {978-1-3152-1614-0},
pages = {197--228},
doi = {10.1201/9781315216140},
groups = {silarri:6},
keywords = {Petri Net Structure Theory, Resource Allocation Systems, Petri Net Analysis, Flexible Manufacturing Systems},
url = {https://doi.org/10.1201/9781315216140},
}